frobozz@well.UUCP (Jordan Bortz) (10/11/89)
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 **********************************************************************
peter@celia.UUCP (Peter Farson) (10/12/89)
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