Xref: utzoo comp.lang.smalltalk:1436 comp.lang.prolog:1982
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!uakari.primate.wisc.edu!ginosko!usc!celia!peter
From: peter@celia.UUCP (Peter Farson)
Newsgroups: comp.lang.smalltalk,comp.lang.prolog
Subject: Re: Logic programming for Smalltalk-80
Keywords: logic,programming,smalltalk
Message-ID: <555@celia.UUCP>
Date: 12 Oct 89 09:07:46 GMT
References: <14028@well.UUCP>
Reply-To: celia!peter@tis.llnl.gov (Peter Farson)
Organization: Rhythm & Hues, Inc., Hollywood
Lines: 13

In article <14028@well.UUCP> frobozz@well.UUCP (Jordan Bortz) writes:
}Hello -- I was wondering if anyone out there had code to do unification and
}or deduction ala prolog in St80, and if that could be posted or mailed 
}to me?  (Also interested in Conceptual Graphs in ST80)

  Digitalk's Smalltalk/V (at least the Mac version) comes with a prolog
interpreter, written in Smalltalk.

-- 
The public is a ferocious              Peter Farson
beast: one must either                 celia!peter@tis.llnl.gov
chain it up or flee from it.           ...{ihnp4,ames}!lll-tis!celia!peter
                         Voltaire