Next: Class 29 T 11/03 Soundness & Completeness in the PC

           Class 30 R 11/05 Conversion to Clause Form

           Class 31 R 11/05 Resolution Refutation

Next: Class 32 T 11/10 Resolution Refutation Examples

Additional Information

• XLISP-Stat available in our Web Site
• XLISP-Stat {available by anonymous FTP from Univ of Minn & mirrored sites {browse at http://lib.stat.cmu.edu/xlispstat/} is a good (and free) LISP interpreter that runs on MACs and PCs.

• LISP Project assigned (10/13) & due Tuesday December 1 in class  see Homework Sets
• Programming Assignment Format {8/24/09} paf.pdf
• XLISP Zip {8/24/09} Windows Version
• XLISP Documentation {8/24/09} XLISPDOC.ZIP
• XLISP-Stat Documentation {8/24/09} XLISPDOC.txt
• The updated {08/24/09} Fall 2009 Class Syllabus