bts@unc.UUCP (11/21/83)
===========================================================
This list of available Prolog implementations was ori-
ginally collected by Randy Harr, at CWRU. I've made a few
changes in it since the last time it was posted, but I
suspect that more has been going on in Prolog than this list
shows. If you can suggest new entries or bring old ones up
to date, please send me the details, via USENET or CSnet
mail. I'd particularly like to hear about Prolog compilers
for VAXen (UN*X, of course) and Prologs for micros.
For ARPA people who read this, in the near anarchy of
USENET there is no prohibition againt mentioning commercial
products. (Advertisements are allowed, though usually con-
sidered vulgar.) If you know of Prolog implementations for
sale, please send me details so that I can share them with
USENET's net.lang.prolog community.
Bruce Smith, UNC-Chapel Hill
decvax!duke!unc!bts (USENET)
bts.unc@CSnet-Relay (other NETworks)
---------------------------------------------------------------------
---------------------------------------------------------------------
NAME: DEC-10/20 Prolog
VERSION: 3.3X
SOURCE/OS: Prolog+Macro-10; TOPS-10 & TOPS-20
FEATURES: Interpreter, Compiler
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
DATED: 16 December 1982
NOTES: this version is vastly improved in comparison with
the original Edinburgh system: 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: Unix Prolog
VERSION: NU7
SOURCE/OS: PDP-11 Assembly/V6 or V7 Unix
FEATURES: Interpreter, similar to DEC-10 version
AVAILABILITY: Restricted License per machine
COST: 20 pounds sterling (24 AUG 1981)
STATUS: development stopped
CONTACT: Robert Rae
Department of Artificial Intelligence
University of Edinburgh
Forrest Hill
Edinburgh EH1 2QL
Scotland, U.K.
DATED: 1 December 1982
NOTES: Uses copy-on-use data representation.
Has been run in compatability mode on VAX's under
4.1 BSD, but has is restricted by PDP-11 address
space. Contact Kenny Hirsch @ Univesity of North
Carolina (send mail to unc!bts).
---------------------------------------------------------------------
NAME: CProlog
VERSION: 1.1
SOURCE/OS: C/UNIX 4.1 BSD, C/Eunice (C/VMS -talk to Pereira)
FEATURES: interpreter, no compiler
AVAILABILITY: Restricted License, research and teaching purposes only.
COST: 100 pounds
STATUS: Active (@ Edinburgh and SRI by Pereira)
CONTACT: EdCAAD Studies
Department of Architecture
University of Edinburgh
20 Chambers Street
Edinburgh EH1 1GZ
Scotland, U.K.
(or decvax!mcvax!edcaad!caad24!margrt)
DATED: 16 December 1982
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.
---------------------------------------------------------------------
NAME: MProlog
VERSION: ?
SOURCE/OS: CDL2/IBM VMS, Siemens, VAX/VMS
FEATURES: Interpreter using program modules, program development
system
AVAILABILITY: ?
COST: ?
STATUS: Active
CONTACT: J. Bendl
Institute of Industrial Economy and Plant Organization
of the Ministry of Heavy Industries.
NIM IGUSZI, HUNGARY, 1363 Budapest, Pf. 33
DATED: 16 December 1982
NOTES: 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
VERSION: ?
SOURCE/OS: Pascal
FEATURES: Interpreter with psuedo-parallel execution of goals
AVAILABILITY: ?
COST: ?
STATUS: Frozen, not fully working
CONTACT: Frank McCabe
Imperial College of Science and Technology
Department of Computing Control
180 Queen's Gate
London SW7 2BZ
England, U.K.
DATED: 14 FEB 1983
NOTES: IC-PROLOG is NOT patterned after DEC-10 Prolog: its
syntax 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.
---------------------------------------------------------------------
NAME: UNSW Prolog
VERSION: 4
SOURCE/OS: C/Unix V7,32V,5.0,4.1BSD
FEATURES: Interpreter, enhanced UNIX interface
Based on DEC-10 Prolog (not completely compatible)
AVAILABILITY: Educational and research purposes only
COST: $20 (send tape)
STATUS: version 3 running for two years at UNSW
version 4 recently completed
CONTACT: Claude Sammut
Department of Computer Science
University of Illinois at Urbana-Champaign
1304 West Springfield Avenue
Urbana, Illinois, 61801
DATED: 4 November 1983
NOTES: Originally developed @ University of New South Wales
(hence, the name)
---------------------------------------------------------------------
NAME: (?) Unix Prolog
VERSION: ?
SOURCE/OS: Vax assembly/VMS (sent in backup format)
FEATURES: Interpreter
AVAILABILITY: ?
COST: $50.
STATUS: ?
CONTACT: Peter Roosen-Runge
Department of Computer Science
York University
4700 Keele Street
Downsview, Ontario
M3J 1P3
Canada
DATED: Summer 1982
NOTES: Hand translation from Unix Prolog
---------------------------------------------------------------------
NAME: BTL Prolog
VERSION: 0
SOURCE/OS: C/Unix V7
FEATURES: Interpreter, enhanced Unix environment, real libraries,
dynamic procedural attachment
AVAILABILITY: maybe next year
COST: ?
STATUS: Under Development
CONTACT: Alan Feuer
Bell Telephone Laboratories
Murray Hill, N.J.
(usenet -> eagle!arf)
DATED: 16 December 1982
NOTES: Novel features of this implementation are that the
database it partitioned into modules and each module
has its own view of the database. Also, arbitrary C
functions can be dynamically attached to predicates
(using the same trick as the lisp dynamic loader).
---------------------------------------------------------------------
NAME: Waterloo Prolog
VERSION: ?
SOURCE/OS: IBM 370 Assembler/?
FEATURES: Fast Interpreter (structure sharing, enhanced
memory mngt.)
AVAILABILITY: single machine license for the system and
documentation.
COST: $500 US/year - academic, $1000 US/year - commercial
($500CDN/$1000CDN for Canadian customers).
STATUS: ?
CONTACT: Sandra Ward
Department of Computing Services
University of Waterloo
Waterloo, Ontario N2L 3G1
CANADA
DATED: 14 December 1982
NOTES: Very fast interpreter
---------------------------------------------------------------------
NAME: Pascal Prolog
VERSION: ?
SOURCE: Pascal
FEATURES: Marseilles syntax, very limited set of evaluable predicates
(arithmetic, output, bagof). Tail recursion + some intelligent
backtracking.
AVAILABILITY: For research purposes only
COST: $70 handling charge
STATUS: Probably frozen. Very portable.
CONTACT: Maurice Bruynooghe.
Katolicke Universite de Leuven,
Adfelung Toegepaste Wiskunde en Programmatic,
B-3030 Heverlee, Belgium.
Tel: (32) 16 200656
DATE: 14 FEB 1983
---------------------------------------------------------------------
NAME: York Prolog
VERSION: ?
SOURCE: Pascal
FEATURES: Modelled after Edinburgh PDP-11 version.
AVAILABILITY: To educational, research etc.
COST: 100 pounds sterling.
STATUS: Available now
CONTACT: Ian Wand, Dept of Chemistry,
University of York,
York, England.
DATE: 14 FEB 1983
---------------------------------------------------------------------
NAME: VPI Prolog
VERSION: ?
SOURCE/OS: Pascal, VAX with VMS.
FEATURES: Uses list allocation (9 byte cons) and syntax,
double precision reals.
AVAILABILITY: Unrestricted.
COST: $1000
STATUS:
CONTACT: Prof. John Roach,
Dept. of Computer Science, Virginia Polytechnic Institute,
Blacksburg, Va.
(703) 961 5368
DATE: 14 FEB 1983
---------------------------------------------------------------------
NAME: ? Prolog
VERSION: ?
SOURCE/OS: C/Unix V?
FEATURES: Interpreter
AVAILABILITY: ?
COST: ?
STATUS: ?
CONTACT: Maurice Brynooghe
Katholieke Universiteit Leuven
Department Computerwetenschappen
Celestijnenlaan 200A
B-3030 Leuven-Heverlee
Belgium
DATED: 6 March 1982
NOTES:
---------------------------------------------------------------------
NAME: POPLOG
VERSION: ?
SOURCE/OS: POP-2 and Vax Assembly/VMS
FEATURES: Interpreter
AVAILABILITY: ?
COST: ?
STATUS: ?
CONTACT: University of Sussex
DATED: ?
NOTES: Reported to be running on a Z8000 system also.
---------------------------------------------------------------------
NAME: Horne (also Thorne - a typed theorem prover)
VERSION: ?
SOURCE/OS: Franz Lisp
FEATURES: Lacks integers and control features of Unix Prolog
AVAILABILITY: Anyone
COST: Send a tape
STATUS: ?
CONTACT: James Allen
University of Rochester
(try rochester!james)
DATED: 13 December 1982
NOTES:
---------------------------------------------------------------------
NAME: MU-Prolog
VERSION: ?
SOURCE/OS: C/UNIX on VAX-11/780, Perkin Elmer 3240, MC68000
FEATURES: Compatible with UNIX and DEC-10 Prologs.
AVAILABILITY: Now. Write for details.
COST: $100
STATUS: In development
CONTACT: The Secretary
Department of Computer Science
University of Melbourne
Parkville, Victoria 3052
Australia
DATED: June 1983
NOTES: Extra control facilities enable coroutining. Three
forms of negation, which are delayed if the predi-
cates are insufficiently instantiated, etc.
---------------------------------------------------------------------
NAME: UNH Prolog
VERSION: 1
SOURCE/OS: C/UNIX, (DEC C/VMS ?)
FEATURES: Compatible with DEC-10/20 Prolog
AVAILABILITY: Per machine license
COST: $100 handling charge
STATUS: Active
CONTACT: James L. Weiner
Department of Computer Science
University of New Hampshire
Durham, New Hampshire 03824
DATED: 23 January 1983
NOTES: Fully-compatible to EDINBURGH Prolog, with exception
that some of the more obscure features are not
implemented. Debugging features of EDINBURGH Prolog
also implemented. Hooks into UNIX supported.
---------------------------------------------------------------------
---------------------------------------------------------------------