Newsgroups: comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!library.ucla.edu!agate!darkstar.UCSC.EDU!news.hal.COM!halsoft.com!netcomsv!netcom.com!whitten
From: whitten@netcom.com (David Whitten)
Subject: Building Problem Solvers : TMS code
Message-ID: <whittenCwJyM6.3rE@netcom.com>
Summary: need help with code on PC
Keywords: AI ATMS clisp
Organization: NETCOM On-line Communication Services (408 261-4700 guest)
X-Newsreader: TIN [version 1.2 PL1]
Date: Thu, 22 Sep 1994 22:32:30 GMT
Lines: 19

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 (whitten@netcom.com) (214) 437-5255




