Next:
Introduction
Introduction
Facts and rules
Facts
Rules
Horn Clause Logic
Goals and queries
Unification
Exercises
Pure Prolog
Recursion and lists
Lists
first/2
second/2
tail/2
Remarks on Variables
Naming variables
The anonymous variable
Exercises:
Recursion
member/2
append/3
Exercises
Operators
Precedence
Associativity
Arithmetic in Prolog
length/2
Exercises
Full Prolog
Program examples
About this document ...
Steve Harlow 2001-11-26
