Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site unc.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!bts
From: bts@unc.UUCP (Bruce Smith)
Newsgroups: net.lang.prolog
Subject: LIST-OF-PROLOGS
Message-ID: <7479@unc.UUCP>
Date: Sun, 29-Jul-84 14:35:12 EDT
Article-I.D.: unc.7479
Posted: Sun Jul 29 14:35:12 1984
Date-Received: Mon, 30-Jul-84 01:27:09 EDT
Organization: CS Dept., U. of N. Carolina at Chapel Hill
Lines: 333

This list of PROLOGs was collected by Randy Harr of CWRU and myself,
from the USENET and ARPANET computer networks.  The emphasis is on
systems that are available to academic sites.
     Please let me know of any additions or corrections to this list.
Some of the entries are over a year old and are likely to be out of
date.
____________________________
Bruce Smith, UNC-Chapel Hill     Department of Computer Science
decvax!duke!unc!bts (USENET)     New West Hall (035A)
bts.unc@CSnet-Relay (others)     Chapel Hill, North Carolina 27514

---------------------------------------------------------------------
---------------------------------------------------------------------
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:		? 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
	
---------------------------------------------------------------------
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 (USENET: eagle!arf)
		Bell Telephone Laboratories
		Murray Hill, N.J.
DATED:		16 December 1982
NOTES:		Novel features of this implementation are that the
		database is 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:		Basser Prolog
VERSION:	2
SOURCE/OS:	C/Unix (V7, 4.1BSD)
FEATURES:	Fast Interpreter, Full interface to Unix, Dynamic
		loading/interface to C (and f77) routines, DEC-10
		Debugging facilities, Interface to commercial database
		system, Real Arithmetic, Backtrackable I/O.
AVAILABILITY:	Single machine license
COST:		Base Price A$3000 C & database interfaces extra
STATUS:		Running, New version under development.
CONTACT:	Andrew Taylor (USENET: mulga!basservax!andrewt)
		Department of Computer Science
		Sydney University
		Sydney, N.S.W.  2006
		Australia
DATED:		30/11/83
NOTES:		Basser Prolog provides similar features to DEC-10 Prolog
		but has a different syntax.

---------------------------------------------------------------------
NAME:		CProlog
VERSION:	1.5 (?)
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 (updates 50 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:		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 (ARPANET: WARREN@SRI-AI)
		AI Center SRI International
		333 Ravenswood Ave.
		Menlo Park CA 94025
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:		Horne
VERSION:	?
SOURCE/OS:	Franz Lisp
FEATURES:	Lacks integers and control features of other Prologs
AVAILABILITY:	Anyone
COST:		Send a tape
STATUS:		?
CONTACT:	James Allen (USENET: rochester!james)
		University of Rochester
DATED:		13 December 1982

---------------------------------------------------------------------
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:		MPROLOG
VERSION:	?
SOURCE/OS:	IBM VM/CMS, VAX-VMS, UNIX, M68000, IBM-PC
FEATURES:	Interpreter using program modules, interactive program
		editor, user-defined error handling, windowing, efficient
		garbage collection, interface to procedural languages
		and data-base managers, program development system
AVAILABILITY:	educational discount to colleges using MPROLOG in
		undergraduate programs
COST:		? (write for info)
STATUS:		Active
CONTACT:	Ian McLachlan (phone: (617) 547-2393)
		Logicware Inc.
		581 Boylston Street
		Suite 300
		Boston, MA 02116
DATED:		May 1984
NOTES:		This is an enhanced version of the MPROLOG developed in
		Hungary from 1979-1983.

---------------------------------------------------------------------
NAME:		MU-Prolog
VERSION:	3.1
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 (Australian)
STATUS:		In development
CONTACT:	Lee Naish (USENET: decvax!mulga!lee)
		Department of Computer Science
		University of Melbourne
		Parkville, Victoria  3052
		Australia
DATED:		December 1983
NOTES:		Extra control facilities enable coroutining.  Three forms of
		negation, which are delayed if the predicates are insufficiently
		instantiated, etc.  "Next year we will probably release the data
		base version, which allows large collections of ground unit
		clauses to be stored in hash addressed files." -- Lee Naish

---------------------------------------------------------------------
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:		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:		UNH Prolog
VERSION:	1
SOURCE/OS: 	C/UNIX, (DEC C/VMS ?)
FEATURES:	Compatible with DEC-10/20 Prolog
AVAILABILITY:	Per machine license
COST:		$300 handling charge
STATUS:		Active
CONTACT:	James L. Weiner
		Department of Computer Science
		University of New Hampshire
		Durham, New Hampshire 03824
DATED:		3 December 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.

---------------------------------------------------------------------
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 (USENET: ihnp4!uiucdcs!sammut)
		Department of Computer Science
		University of Illinois at Urbana-Champaign
		1304 West Springfield Avenue
		Urbana, Illinois, 61801
DATED:		4 February 1983
NOTES:		Originally developed @ University of New South Wales
		(hence, the name)

---------------------------------------------------------------------
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 is
		restricted by PDP-11 address space.

---------------------------------------------------------------------
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:		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
---------------------------------------------------------------------
---------------------------------------------------------------------