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
successfully.
Thank you,
David (·······@netcom.com) (214) 437-5255