* What It Is

Based on the Prolog interpreter/compiler from ``Paradigms of
Artificial Intelligence Programming: Case Studies in Common Lisp'' by
Peter Norvig.