Sample Prolog Programs
It may be necessary to change the definitions of not, member, and dynamic for various versions of Prolog.
Simple List Programs
Depth-First Search
Parsing
Breadth-First Search Using Findall
Breadth-First Search using setof
Map Coloring (Propagating Constraints)
Lists
Sets
White/Black Stones game
Computing Deriviatives (Symbolic Computation)
Jugs Problem (State-Space Search)
Monkey-Bananas Problem (State-Space Search)
Missionary-Cannibals Problem (State-Space Search)
Send+More=Money (Constraint Propagation)
A* Search
A* Search 2
AO* Search
Alpha Beta Search
MasterMind (Constraint Propagation and Learning)
MasterMind (longer version)
N-Queens Problem
Birds Expert System (from Amzi)
Prototype Class Algebra
Paper for Class Algebra
Paper for Description Logics