[comp.lang.prolog] Prolog and Smalltalk

chomicki@brillig.umd.edu (Jan Chomicki) (01/03/89)

I'd appreciate very much any information about the existence and
availability of Prolog systems written in Smalltalk or integrated
in some other way with a Smalltalk programming environment.

-Jan Chomicki
UMIACS
Univ. of Maryland, College Park

bwk@mbunix.mitre.org (Barry W. Kort) (01/08/89)

In article <15242@mimsy.UUCP> chomicki@brillig.umd.edu writes:

 > I'd appreciate very much any information about the existence and
 > availability of Prolog systems written in Smalltalk or integrated
 > in some other way with a Smalltalk programming environment.

Jan, we have been using Digitalk's Smalltalk V/286 for the AT class
PC.  It has an integral Prolog which closely resembles Clocksin
and Mellish Prolog.  The code seems to work OK, but the documentation
is a bit thin.  One problem is that the Smalltalk debugger doesn't
know how to handle Prolog methods.  The notation for Prolog lists
conflicts with the notation for Smalltalk Block Contexts (both use
square brackets), and this causes some confusion.  Prolog code must
be compiled in a special browser (but can be viewed in the regular
Smalltalk browser).

Despite these annoyances (which we expect will vanish over time),
we are cautiously optimistic that we can successfuly integrate
a Prolog diagnostic expert system into our Smalltalk model of
a local area network.  Most of the work is being done by a senior
at UConn, who is bravely wading into uncharted territory here.
Her rate of progress is encouraging, and the work is both
intellectually stimulating and attention grabbing.

--Barry Kort
MITRE Network Center