bts (12/16/82)
Re:
Title: Prolog Systems Available
Article-I.D.: cwruecmp.338
Some corrections to your list of Prolog systems:
-------------------------------------------------------------------------
Name: DEC-10/20 Prolog
Version: 3.3X
Source/OS: Prolog+Macro-10; TOPS-10 & TOPS-20
Availability: For research and teaching only
Cost: $70 handling charge
Status: Semi-active
Contact: David Warren
AI Center
SRI International
333 Ravenswood Ave.
Menlo Park CA 94025
ARPANET: WARREN@SRI-AI
Notes: this version is vastly improved in comparison with
the one mentioned in the earlier note: an incremental
compiler intergrated with the interpreter producing
tail-recursion optimized code, an interactive debugger
and execution stepper for interpreted code, many other
goodies.
-------------------------------------------------------------------------
Name: CProlog
Version: 1.1
Features: interpreter, no compiler
Cost: 100 pounds
Notes: Nothing to do with Unix Prolog from DAI. CProlog
is internally rather similar to DEC-10/20 Prolog
(less the compiler), and uses the data representation
scheme known as structure sharing; DAI Unix Prolog
uses another very different data representation
system, copy-on-use (also known as non-structure-sharing).
--------------------------------------------------------------------------
Name: MProlog
Source: Don't think CDL2 is available in 100s of different
machines; porting CDL2 (or the system-dependent of
MProlog) to a new machine is non-trivial. As far
as I know, it is only available under IBM VMS,
Siemens and VAX/VMS.
Note: CDL2 was designed by Koster and others in Berlin;
I understand the CDL2 system development system
is available from a software house there.
-------------------------------------------------------------------
Name: IC-PROLOG
Source: Pascal
Notes: IC-PROLOG is DEFINITELY NOT patterned after DEC-10
Prolog: its systax is different, it has very different
execution mechanisms and system predicates. It is
a system to experiment with more flexible execution
mechanisms, not a system to run large programs fast.
--------------------------------------------------------------------
Fernando Pereira (pereira@sri-ai)
-------
-------
-------