bruno@ecrcvax.UUCP (Bruno Poterie) (10/01/86)
[this one for the line-eater] Well, I know of at least one Prolog system on PC/AT which is: - fully C&M compatible, to the exception of the top-level mode (consults by default (terms ended with a dot), executes on request (terms ended with a question mark)) - all defined C&M predicates, i/o, program manipulation, term scanning & construction, integer and float arithmetics, ... plus the following features: - full window, semi-graphics & color management - modularity for debugging, program handling, etc.. ( but *no* separate dictionaries) through a hierarchy of "zone" - on-line precise help - on-line clause editor - complete typage mechanism, allowing full object definition, constraint checking, etc... - functional mechanism, allowing each call to return any prolog term as a return value through an accumulator (bactracked/trailed) (the arithmetic is implemented, using this mechanism, and you may extend it as you wants) - non-bactrackable global cells and arrays - backtracking arrays, with functional notation and access - access to MSDOS - sound system and some others less (sic) important goodies, like a debugger based on the Box model, etc... oh, I forgot: under development, and rather advanced by now, are: - an incremental compiler to native code with incremental linking (with full integration with the interpreter, of course) - an interface to C programs - a toolkit for development of applications, with an utilities library - and maybe a message sending mechanism (but I'm not sure for it) The name of this system is: XILOG and it is made and distributed by (the Research Center of) BULL, the biggest french computer compagny. if interested, contact: CEDIAG BULL 68, route de Versailles F-78430 Louveciennes FRANCE or: Dominique Sciamma (same address) don't fear, they do speak english there! :-) P.S.: I precise that I have no commercial interest at all in this product, but I really think that this XILOG is the best Prolog for micro I ever met. ================================================================================ Bruno Poterie # ... une vie, c'est bien peu, compare' a un chat ... ECRC GmbH # tel: (49)89/92699-161 Arabellastrasse 17 # Tx: 5 216 910 D-8000 MUNICH 90 # mcvax!unido!ecrcvax!bruno West Germany # bruno%ecrcvax.UUCP@Germany.CSNET ================================================================================