Program 4
[PDF],
Due Thursday, May 15, 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, April 24, 2008 -- Matching and Differentiation
For this you will need the code from the following file:
differentiator.lisp.
Program 2 [PDF],
Due Tuesday, March 18, 2008 -- PARTS 1 and 2; Thursday, March 27, PART 3. (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 :-)
