Fundamentals

  1. 1.Getting Started
  2. 2.Facts & Rules
  3. 3.Unification
  4. 4.Backtracking & the Search Tree
  5. 5.Lists
  6. 6.Recursion Over Lists
  7. 7.Arithmetic: is vs. = vs. ==
  8. 8.Cut (!) — Controlling Backtracking, Honestly