hello list,

the latest version of Prolog I just uploaded on SqueakMap features major 
changes (in my view improvements :) and is now seriously departing from 
the original Mike Teng code; it is backward compatible though.

main points:

* refactored the core code for clarity
* fixed the semantics of or() and and() which are now exactly equivalent 
to the standard ; and , operators
* defined three levels of database scoping: global, class-local and 
instance-local (global is still the default)
* cached the mapping from prolog predicates (symbols) to their actual 
implementors (selectors) for faster evaluation
* implemented an API for calling Prolog from Smalltalk directly, 
bypassing LParser/LCompiler. this is similar to the way LispKit 
interpreters handle code written in Array syntax and makes it possible 
to populate Prolog databases (which can now be class-local as stated 
above) with facts about live Smalltalk objects
* enabled easy redirection of printed output (to Transcript or to an 
arbitrary WriteStream)
* improved the GUI
* added tests


feedback, criticism, suggestions, etc. welcomed as usual


Stef