CMU Artificial Intelligence Repository
Machine readable parts of various Prolog books
aitp/ AITP: Code from Shoham's book, "AI Techniques in
aop/ AOP: Code from Sterling's book "The Art of
ppid/ PPID: Code from Covington's book, "Prolog
Programming in Depth".
tutor/ TUTOR: Jocelyn Paine's Logic Programming Tutor
Contains the machine readable parts of various Prolog books.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Last Web update on Mon Feb 13 10:33:23 1995