Logic Programming: describing vs ordering
Exercises, note
Unification in Prolog and Proof Search
Exercises
Recursive definitions and non-termination
A recursive data structure
is/2 and other built-in arithmetic predicates
append/3 and reverse/2 two ways
context free grammars and difference lists
as DCGs (+ regular expressions)
Extra arguments and tests
==/2, strings and operators, term structure
Backtracking pruned & negation as failure
documenting Prolog predicates
KB changes and collecting answers
including finite automata and strings
Handling files and modularity
Career + Niteline: video, slide, flyer
