About Prolog small
Prolog small- Includes an introduction to Prolog, unification, the back-tracking search process, the source code of a Prolog interpreter, example Prolog programs, the logic of Sir Bedevere (Monty Python), and a Java applet that runs Prolog.
