Xref: utzoo comp.lang.lisp:728 comp.ai:1369
Path: utzoo!mnetor!uunet!husc6!bbn!rochester!PT.CS.CMU.EDU!cadre!pitt!cisunx!jasst3
From: jasst3@cisunx.UUCP (Jeffrey A. Sullivan)
Newsgroups: comp.lang.lisp,comp.ai
Subject: Frame/Logic/TMS/Rule Code request
Message-ID: <7056@cisunx.UUCP>
Date: 19 Feb 88 04:29:53 GMT
Organization: Univ. of Pittsburgh, Comp & Info Sys
Lines: 15

If anyone has pointers to code (pref Common Lisp) for any of the following,
please let me know:

-- Frame systems
-- Rule(Production) systems
-- Logic (theorem provers or deductive retrievers, pref both)
-- Truth Maintenance Systems

Thanks!


-- 
..........................................................................
Jeff Sullivan				University of Pittsburgh
jas@dsl.cadre.pittsburgh.edu		Intelligent Systems Studies Program
jasper@PittVMS (BITNET)			Graduate Student