unification algorithm in Smalltalk? (& C code generation)
Kyle Pierce on SNI
kylep at csn.net
Thu Jul 9 16:30:22 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><BR>-----Original Message-----<BR>From: Satoshi NISHIHARA <<A
href="mailto:nishis at urban.ne.jp">nishis at urban.ne.jp</A>><BR>To: <A
href="mailto:squeak at cs.uiuc.edu">squeak at cs.uiuc.edu</A> <<A
href="mailto:squeak at cs.uiuc.edu">squeak at cs.uiuc.edu</A>><BR>Date: Wednesday,
July 08, 1998 9:44 PM<BR>Subject: Re: unification algorithm in
Smalltalk?<BR><BR><BR>>Hello<BR>><BR>>This "alpha minus
version" Prolog has a problem, sub windows<BR>>(consulting, editing,
listing, reconsulting) are funny.<BR>><BR>>Except this trouble, it runs
well (I hope) ;-p<BR><BR><BR>Thank you for your work with a Squeak version of
Prolog, and thanks to everyone who responded to my question. I hope to
soon spend some time working with this Prolog interpreter. My goal is to
set up a facility for backward-chaining searches as a part of my Squeak
environment -- which the Prolog interpreter should certainly take care of.
I wonder whether Squeak can generate C code for this sort of extension (which
needs all the speed it can get)? More generally, I wonder what might be
the practical limits of Squeak's C code generation? Sorry, I could
probably answer these questions in part by studying the literature to identify
the subset of Smalltalk that is supported by that C code generation
facility. Right now I'm hoping for some insights from someone who knows a
lot more than I do about Squeak.<BR><BR>Thanks,<BR><BR>Kyle
Pierce<BR></DIV></BODY></HTML>
</html>
More information about the Squeak-dev
mailing list
|