Program 4
[PDF],
Due Tuesday, December 9, 2008. (Simple Theorem Prover)
The file
test-prover.lisp
contains the three sets of test data needed to test your program.
Program 3 [PDF],
Due Thursday, November 13, 2008 -- Constraint Satisfaction
Program 2 [PDF],
Due Friday, Midnight, October 10, 2008 -- PARTS 3.1 and 3.2; Thursday, October 23, PART 3.3 and 3.4. (Graphsearch)
For this you will need to use the graphsearch package defined in
graphsearch.lisp;
a test graph that can be searched using the package can be found in
search-test.lisp.
ELM-ART,
an interactive Lisp Tutor. You can do the examples, and the
program will critique your work! Uses a fancy interactive WWW
server written in Lisp, what else :-)