Xref: utzoo comp.lang.smalltalk:1432 comp.lang.prolog:1974
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!apple!well!frobozz
From: frobozz@well.UUCP (Jordan Bortz)
Newsgroups: comp.lang.smalltalk,comp.lang.prolog
Subject: Logic programming for Smalltalk-80
Keywords: logic,programming,smalltalk
Message-ID: <14028@well.UUCP>
Date: 10 Oct 89 19:33:56 GMT
Lines: 12

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)

Thanks,
	Jordan


**********************************************************************
Jordan Bortz <Higher Level Software>
well!frobozz
**********************************************************************