Path: 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

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