Re: interlisp ATMS

Article View: comp.sys.xerox

Article #548

#548

From: Timothy_Koschmann.DPMW4000
Date: Fri, 22 Jul 1988 15:59

11 lines
1074 bytes

We built a truth maintenance system based on Johan's ATMS for the Rotamer
Project at Illinois Institute of Technology.  The TMS environments were
implemented as LOOPS objects.  Methods for seeking contradictions within an
environment were implemented in Xerox Quintus Prolog.  The Rotamer system was
desribed in the June issue of the Journal of Molecular Graphics ("Conformational
Analysis Using a Truth Maintenance System", J.Mol.Graphics, 6(June), 1988,
74-79.)  A description of the interface between LOOPS and Xerox Quintus Prolog
can be found in this months issue of IEEE Software ("Bridging the Gap between
Object-Oriented and Logic Programming", IEEE Software, 5(4), 1988, 36-42.) 

Tim

Technical Details

Message-ID: <880722-090053-5818@Xerox>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!nosc!ucsd!ucbvax!XEROX.COM!"Timothy_Koschmann.DPMW4000"

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!nosc!ucsd!ucbvax!XEROX.COM!"Timothy_Koschmann.DPMW4000"
From: "Timothy_Koschmann.DPMW4000"@XEROX.COM
Newsgroups: comp.sys.xerox
Subject: Re: interlisp ATMS
Message-ID: <880722-090053-5818@Xerox>
Date: 22 Jul 88 15:59:14 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 10