Prolog
Last updated at 12:01 pm UTC on 16 January 2006
»Prolog is so simple that one has the sense that sooner or later someone had to discover it.« –(Colmerauer, Roussel, 1996, p. 350)
a.k.a. Sq-Prolog
by Mike Teng
port to Squeak by Bolot Kerimbaev
Latest changeset:
Prolog.15Dec1836.cs.gz
Recent changes:
- Dec 15, 2002, added the fixed Dungeons example (from Dungeon.991029-1806.st), better animation
- Dec 13, 2002, updated file-in works with Squeak 3.4 (includes fixes by Henryk Gedenryd and Hannes Hirzel, as well as a new feature, PrologWorkspace)
some documentation here:
(page with dead links: http://www.cc.gatech.edu/projects/squeakers/25.html)
This version files in fine in Squeak 2.7 (May 2000).
This version does not file in correctly anymore in Squeak 3.0-3545.
Henrik Gedenryd did an update which files in fine in 3.0-3545, 3.3a-4664 and 3.3a-4771 - the family example
LCompiler evaluate: 'Family new :? grandPa(''John'',y)'
works fine
Bijan Parsia, An Introduction to Prolog and RDF
There is also QSoul a Prolog inside Squeak http://www.iam.unibe.ch/~wuyts/
see also Lisp interpreter (old)
cf. SWI Prolog