Prolog Intermediate/Advanced

  1. 1. findall, bagof, setof — Collecting All Solutions
  2. 2. The Dynamic Database — assert & retract
  3. 3. Negation as Failure
  4. 4. Difference Lists
  5. 5. DCGs — Definite Clause Grammars
  6. 6. Building a Meta-Interpreter
  7. 7. Constraint Logic Programming, A First Look
  8. 8. Capstone — Building a Small Project