unification algorithm in Smalltalk?

Mon Jul 6 19:44:46 UTC 1998

<html><!DOCTYPE HTML PUBLIC "-//W3C//DTD W3 HTML//EN">
<HTML>
<HEAD>

<META content=text/html;charset=iso-8859-1 http-equiv=Content-Type>
<META content='"MSHTML 4.72.2106.6"' name=GENERATOR>
</HEAD>
<BODY bgColor=#ffffff>
<DIV>I am looking for Smalltalk AI tools in general, and any 
Smalltalk<BR>implementation of a unification algorithm, in particular.&nbsp; Can 
anyone<BR>provide pointers to such a thing, in a dialect that might be 
fairly<BR>Squeak-compatible?<BR><BR>Thanks,<BR><BR>Kyle Pierce<BR></DIV>
<DIV>&nbsp;</DIV>
<DIV>P.S.&nbsp; I am fairly new to Smalltalk, and Squeak seems like an 
irresistable choice<BR>for a truly portable and livable Macintosh development 
package.&nbsp; After<BR>endless disappointments and frustrations (the most 
recent being<BR>any-Java-on-the-Mac) in finding such&nbsp; a thing, THANK YOU 
for Squeak.&nbsp; </DIV></BODY></HTML>

</html>