Notes on the brief (very brief that is...)
Prolog Introduction for CSE232b

• Outline of the presentation:
  • Relational Programming: Datalog
  • Datalog evaluated the Prolog way: Tracing family relations...
  • Terms with function symbols, lists as terms
  • Unification
  • Term rewriting examples
• A good online resource for learning Prolog is Learn Prolog Now!
• The examples were presented using SWI-Prolog -- here they are:
  • example programs: cse232b.swi
  • example query: query.swi
  • module for drawing Prolog terms/trees: draw.swi
  • a trace of some examples: example-trace.txt

Hacking your program is no substitute for understanding your problem!
-- Richard A. O'Keefe, The Craft of Prolog, MIT Press