[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Building Problems Solvers code

I have the book 'Building Problem Solvers' by K. Forbus and J. De Kleer.

This book has associated code written in Common Lisp to implement
several different Truth Maintenance Systems.

Has anyone figured out what is necessary to get this code to work with 
any public domain  Common Lisp systems (such as clisp) ?

I am interested in re-writing the code in another language(MUMPS)
and need to make sure I understand it enough to be able to port it

Thank you,

David (whitten@netcom.com) (214) 437-5255