oct 11
I didn't get up notes in time; this'll be a class discussion.
But I do have an engine available on cs:
$ cd /var/www/cs/htdocs/courses/fall2007/ai/code/theorem_provers/snark-20070805r009
$ clisp -M snark+aima
> (load "parent-example.lisp")
> (prove-it)
See the tutorial in the folder above that one.
