Logic Programming Theory and Examples
Example
A Session
A session (cont)
Lists in Prolog
Defining Predicates on Lists
concat a.k.a. append
concat used backwards
Logic Prog. vs Functional Prog.
Programming in Prolog
Predicate Logic
Clause Form
Horn Clauses
How Does Matching Work in Prolog?
Unification of Literals
Horn-Clause Resolution
A Backtracking Horn-Clause Resolver
Email: tanimoto@cs.washington.edu