Logic and constraint programming: Programming Language Design course | Zoonk
33. Logic and constraint programming
Represent facts, rules, goals, unification, backtracking, and constraints. Implement a small logic language and examine termination, search order, and constraint propagation.
