View Source Document

README.md

Prolog

(Up) | See also: Logic Programming, Programming Languages


Web resources

SWI-Prolog -- Manual

Prolog Tutorial -- 2.5 (wayback)

Prolog Guide - Data Structures

Parsing in Prolog

A Couple of Meta-interpreters in Prolog

What does \+ mean in Prolog? - Stack Overflow

search - Prolog: Element not present in list - Stack Overflow

Index of /nofib/real/prolog/

Papers

(in Formal Language) Lecture 7: Definite Clause Grammars

(in Formal Language) Definite Clause Grammars for Language Analysis

(in Formal Specification) Automatic program generation from specifications using PROLOG

Books

Programming in PROLOG (borrow @ archive.org) 🏛️

The Art of Prolog (borrow @ archive.org) ★★★ 💭

(in Artificial Intelligence) Prolog programming for artificial intelligence, 3rd ed. (borrow @ archive.org) ★ 💭

(in Formal Language) Natural Language Processing Techniques in Prolog (online @ cs.union.edu) ★ 💭

(in Logic) Simply Logical (online @ book.simply-logical.space, github.com) ★ 💭