🚀 go-pugleaf

In article <244@ndcheg.UUCP> jeff@ndcheg.UUCP (Jeff Kantor) writes:
>I earlier posted a request asking how to obtain C/Prolog, apparently
>a prolog available in source code and somewhat portable.  We would
>like to use it for a University Research project. However, I got no replies.

Okay, I figure that at least half the queries in this group have to do
with where one gets a certain Prolog.  Having tired of slogging through
them, I'm now reposting an article detailing where one gets various
implementations.  It's a little old, but should at least provide enough
of a start that there won't be any need for these queries for a while, eh?
I *DO NOT* guarantee that this is accurate; heck, I didn't write it.

-- 
Rich Kulawiec, rsk@j.cc.purdue.edu, j.cc.purdue.edu!rsk
PUCC News Administrator

---------------------------------------------------------------------
From: bts@unc.UUCP (Bruce Smith)
Newsgroups: net.lang.prolog
Subject: LIST of PROLOGs
Date: 9 Apr 86 00:33:29 GMT
Organization: CS Dept, U. of N. Carolina, Chapel Hill

After many delays, here's the latest "LIST of PROLOGs".  I know much
of this information is out of date by now, but if you will PLEASE mail
corrections to me at UNC, I will post an updated version in May or
June.  Thanks to H.T. Cory and C.D.S Moss at Imperial College for most
of the information on European implementations.

Note that a LOCATION field has been added to several of the entries.
Prolog implementors are encouraged to mail me such info for inclusion
in the next LIST.
_____________________________________________________________________
Bruce T. Smith                              Dept. of Computer Science
USENET: decvax!mcnc!unc!bts                 New West Hall (035-A)
Others: bts.unc@CSNET-RELAY                 Chapel Hill, NC 27514
---------------------------------------------------------------------
---------------------------------------------------------------------
NAME:           A.D.A. Prolog
VERSION:        First release, dated 1985
SRC/MACHINE/OS: C/ MSDOS and PCDOS systems
FEATURES:       Incremental compiler, VML virtual memory system and
		extensions invisible to user, datebase access routines,
                debugging, stream input, list-based structure sharing,
                UNIX style modules, incremental garbage collection,
                Edinburgh-compatible syntax.
AVAILABILITY:   Full version from May 1985; five versions of increasing
                complexity available separately; educational and
                commercial licenses.
COST:           prices range from $29 to $500, depending on capability.
CONTACT:        Automata Design Associates
		1570 Arran Way
                Dresker, PA 19025
		(215) 335-5400
DATED:          June 1985
---------------------------------------------------------------------
NAME:		Arity/Prolog
SRC/MACHINE/OS:	IBM-PC and compatibles, the compiler is written in
		Arity/Prolog
FEATURES:	interpreter and compiler, with debugger; "string
		support", interface to other programming languages,
		UNIX-style file I/O and systems functions, text screen
		management; definite clause grammar support; "more
		comprehensive" set of primitives
COST:		$1950 compiler and interpreter, $495 interpreter only
CONTACT:	Arity Corporation
		358 Baker Avenue
		Concord, MA 01742
		(617) 371-1243
DATED:		August 1985
NOTES:		Arity/Prolog compiler compiles itself in less than
		one and 1/4 minutes on an AT
---------------------------------------------------------------------
NAME:		Basser Prolog
VERSION:	3
SRC/MACHINE/OS:	C/Unix (V7, 4.?BSD & others) also VMS
FEATURES:	fast Interpreter, full interface to Unix, Dec-10
		Debugging facilities, real arithmetic, backtrackable
		I/O, good documentation (user manual & tutorial)
AVAILABILITY:	Educational license, source or binary
COST:		A$300 or US$300 or negotiable, VMS version extra
STATUS:		running, some development & support
LOCATION:       Academic and commercial sites, in Singapore and
                France, as well as several in Australia.
CONTACT:	Andrew Taylor (USENET: mulga!basser!andrewt)
		Department of Computer Science
		Sydney University
		Sydney, N.S.W.  2006
		Australia
DATED:		May 1984
NOTES:		Yet another prolog syntax. Most of the code is clean
		and readable. Generally similar to DEC-10 prolog.
		Basser Prolog has sufficient "features" to make it
		a reasonable programming environment and a useful tool.
-------------------------------------------------------------------------
NAME:           BIM-Prolog
VERSION:        0.4, dated February 1985
SRC/MACHINE/OS: C, VAX/VMS; 4.2bsd UNIX (VAX and SUN)
FEATURES:       Interpreter based on translated abstract machine code;
		intelligent debugging system; partial evaluation system;
                data flow checking; integration with a relational database;
                real-time garbage collection; compiler to assembler being
                developed.
AVAILABILITY:   Academic and commercial
COST:           350 ECU for academic license, 5000 ECU for run-time system,
                10000 ECU for full programming environment.
STATUS:         Preliminary version available, new programming environment
                will be available in summer 1985.
CONTACT:        Raf Venken
		Belgian Institute of Management
                Kwikstraat 4
                B-3047, Belgium
                (02) 759-5925
DATED:          June 1985
-------------------------------------------------------------------------
NAME:		C-Prolog
VERSION:	1.5
SRC/MACHINE/OS:	C/UNIX 4.1/2 BSD, C/VMS
FEATURES:	Interpreter, Prolog-10 compatibility, four port debugger
AVAILABILITY:	Academic and commercial licenses
COST:		100 pounds, academic
		updates (if you have earlier version) 50 pounds
LOCATION:       Many universities and research organizations in US, UK,
                and Europe
CONTACT:	Department of Architecture
		Edinburgh Univeristy
		Forest Hill Rd.
		Edinburgh  EH1 1GZ
		U.K.
		(or decvax!mcvax!ukc!edcaad!margaret)

                or, in the U.S.

                SRI International
                333 Ravenswood Ave.
                Menlo Park, CA 94025

DATED:		July 1984
-------------------------------------------------------------------------
NAME:		Horne
VERSION:        5.0
SRC/MACHINE/OS:	Franz Lisp
FEATURES:	LISP interface; tracing and debugging; typed theorem
		proving; automated reasoning facilities include forward
                chaining, constraint posting.
AVAILABILITY:	anyone
COST:		send a tape
CONTACT:	James Allen (USENET: rochester!james)
                Computer Science Dept.
		University of Rochester
                Rochester, NY 14627
DATED:		Sept 1984
---------------------------------------------------------------------
NAME:           IC Prolog
VERSION:        0.7 (1979)
SRC/MACHINE/OS: Pascal
FEATURES:       Uses program annotations, data flow coroutining,
                collectors; special features for control and data
                handling for datebase aplications; extended handling
                of negation; pseudo-parallelism annotations enable
                time-sharing processes on a sequential machine.
AVAILABILITY:   no longer supported
CONTACT:        F.G. McCabe
		Department of Computing
                Imperial College
                London SW7 2BU
DATED:          June 1985
---------------------------------------------------------------------
NAME:           ICL Prolog
VERSION:        First release dated 1984
SRC/MACHINE/OS: Pascal / VME on ICL 2900 to intermediate code
FEATURES:       Compiler; lexical modules for construction of large
                applications; incremental garbage collection, tail
		recursion optimization, early detection of determinacy,
                clause indexing, trace and debugging facilities; large
                address space, interface to other languages.
AVAILABILITY:   Commercial license.
COST:           Complete package priced at 400 pounds per quarter,
                including functional LISP.
LOCATION:       Approximately 12 users, various applications.
CONTACT:        J. W. Doores
		International Computers Ltd.
                Wenlock Way, West Gorton
                Manchester M12 5DR
		Tel: 061-223 1301
DATED:          June 1985
NOTES:          Improved version to be released soon written in 'C'
		and Prolog, for UNIX on Orion and PERQ PNX systems.
---------------------------------------------------------------------
NAME:		IF/Prolog
VERSION:        2.0 (dated Sept. 1984)
SRC/MACHINE/OS:	C/Cadmus 9000/UNIX, VAX/UNIX, Perkin Elmer 3200,
                IBM-PC, 68000 microcomputers
FEATURES:       Interpreter; syntax checking facility, hashing mechanism,
                tail recursion optimization, floating point arithmetic;
                window management, screen-oriented debugging; C language
                interface.
COST:           From 9000F to 12000F, or $550 to $3200
LOCATION:       Approx. 100 systems at research and industrial sites.
CONTACT:	Interface Computer Gmbh.
                Oberfohringerstr 24a+b
		D-8000 Munich 81
		Germany

                or

                Stewart Hughes, Ltd.
                Chilworth Manor
                Southampton S09 1XB
DATED:		June 1985
NOTES:		Prolog compiler will be available in Autumn 1985, to
                run on a wide range of machines.
---------------------------------------------------------------------
NAME:		The Logic WorkBench
SRC/MACHINE/OS:	various 68000 UNIX systems
FEATURES:	Edinburgh syntax; compiler, interpreter, interactive
		debugger, interface to C; Prolog interface to external
		database; ability to store large Prolog databases on
		disk and use then without downloading into main memory.
COST:		$6,900
CONTACT:	Silogic, Inc.
		6420 Wilshire Blvd.
		Los Angeles, CA  90048
		(213) 653-6470
DATED:		June 1985
---------------------------------------------------------------------
NAME:		LM-Prolog
SRC/MACHINE/OS:	ZetaLisp, LMI and Symbolics
FEATURES:	interpreter, compiler which can unfold predicates,
		microcode support, worlds, indexing, lazy and eager
		collections, constraints; Concurrent Prolog
		interpreter; backtracking Turtle graphics; interface
		to Lisp; optional occur check, optional cyclic
		structures, mutable arrays, full Lisp machine
		environment; DEC-10 Prolog compatibility package.
AVAILABILITY:	commercial and non-commercial licenses.
COST:		$1500 non-commercial.
LOCATION:       Sweden and USA
CONTACT:	LMI
                Suite 900
		6033 West Century Blvd.
		Los Angeles, CA 90045

                or

                Uppsala Programming Methodology and AI Laboratory
                Department of Computing Science
                PO Box 2059
                S-750 02 Uppsala
		Sweden
DATED:		June 1985
---------------------------------------------------------------------
NAME:           LOGLISP
VERSION:        Version 3 (dated 1984)
SRC/MACHINE/OS: UCI Rutgers LISP/DEC 10; Zetalisp/LMI Lambda;
                Symbolics 3600.
FEATURES:       Interpreter incorporating breadth-first and heuristic
                search mode and notion of reducibility; LISP host
                environment with embedded logic programming system;
                uses structure sharing techniques with reduction;
                functions in modules; set of new LISP primitives
                callable from within LISP programs.
AVAILABILITY:   Commercial, academic and US Government licenses.
COST:           $30 to $400, depending on license.
LOCATION:       About 150 systems in the USA (academic, commercial
                and US Government establishments).
CONTACT:        K. J. Greene
		313 Link Hall
                School of Computer and Information Science
                Syracuse University
                Syracuse, NY 13210
DATED:          June 1985
---------------------------------------------------------------------
NAME:           Micro-Prolog
VERSION:        3.1 (dated March 1984)
SRC/MACHINE/OS: Assembler/ CP/M-80 and MSDOS microcomputers.
FEATURES:       Extensibility of supervisor made possible by modules;
		interactive program text editor; editor and trace
                utility modules; real numbers; memory trace facility;
                SIMPLE extension to supervisor; DEC-10 front end for
                machines with >64KB memories; APES -- Expert System
                Shell available.
AVAILABILITY:   Academic and commercial licenses available.
COST:           For CPM80 machines: 125 pounds or $195;
                for CPM86/MSDOS/PCDOS machine: 175 pounds or $295;
                special rates for educational institutions.
LOCATION:       Over 2000 systems sold worldwide, about 50% in USA,
                and 10% in Japan.  About half are in educational
                institutions.
CONTACT:        Programming Logic Systems
                31 Crescent Drive
                Milford, CT 06460

                or

                Logic Programming Associates
                Studio 4, The Royal Victoria Patriotic Building
                Trinity Road
                London SW18 6SX
DATED:          June 1985
---------------------------------------------------------------------
NAME:		MProlog
VERSION:	1.5 (dated 1984)
SRC/MACHINE/OS:	CDL2 & Prolog; DEC VAX: VMS and UNIX (4.2 BSD); IBM: VM/CMS,
		MVS/TSO; IBM-PC: PC DOS; 68000 based UNIX variations;
		Tektronix 4404 workstation.
FEATURES:	interpreter; program development environment - interactive
		editor, concurrent proof editing, trace facilities; user-
		defined error handling; garbage collection; over 250
		built-in predicates; external routine interfaces;
		modularity; portability
AVAILABILITY:	wide range-- commercial, educational, per CPU, OEM
		distribution and run-time licences
COST:		Educational and OEM discounts available.
LOCATION:       Hungary and other European countries, UK, Canada, US.
CONTACT:	Logicware Inc.
		5000 Birch Street
		West Tower, Suite 3000
		Newport Beach, CA 92660
		(714) 476-3634


		or 

		Logicware Inc.
		1000 Finch W., Suite 600
		Toronto, Canada  M3J 2V5
		(416) 665-0022

                or

                Systems, Computers and Informatics Laboratory, SZKI
                1368 Budapest, POB 224
		Hungary

DATED:		March 1985
---------------------------------------------------------------------
NAME:		Micro-Prolog
SRC/MACHINE/OS:	68000/UNIX, VAX/UNIX,
FEATURES:	Different syntax, APES expert system shell.
COST:		$700 for 68000, $1500 for VAX, $1000 for APES.
CONTACT:	Logic Programming Associates, Ltd.
		36 Gorst Road
		London SW11 6JE
		U.K.

		Or

		Programming Logic Systems
		31 Crescent Drive
		Milford, CT 06460
DATED:		June 1985
---------------------------------------------------------------------
NAME:           Modula-Prolog
SRC/MACHINE/OS: Modula-2, MS-DOS, VAX VMS and UNIX
FEATURES:       Modula-Prolog is a software package written in Modula-2,
                offering tools for constructing Prolog interpreters which
                can interact in many ways with other Modula-2 programs.
                Fully compatible with Clocksin & Mellish.
AVAILABILITY:   ?
COST:           ?
CONTACT:        Carlo Muller
                Brown Boveri Research
                CH-5405 Baden
                Switzerland
---------------------------------------------------------------------
NAME:		MU-Prolog
VERSION:	3.1db
SRC/MACHINE/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:		$200 (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.  Version 3.1db
		includes database system.
---------------------------------------------------------------------
NAME:		Pascal Prolog
SRC/MACHINE/OS:	Pascal
FEATURES:	Marseilles syntax, very limited set of evaluable
		predicates (arithmetic, output, bagof); tail recursion
		and 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
DATED:		February 1983
-------------------------------------------------------------------
NAME:		POPLOG
SRC/MACHINE/OS:	VAX (VMS and UNIX), Sun II and HP9000/200
FEATURES:	combination of POP-11, Lisp and Prolog; incremental
		compiler; routines written in C, fortran and Ada may
		be linked into POPLOG environment
AVAILABILITY:	academic and commercial licenses
COST:		educational discounts available.
CONTACT:	Systems Designers Software, Inc
		5203 Leesbury Pike, Suite 1201
		Falls Church, Virginia 22041
		(703) 820-2700

                or

		Cognitive Studies Programme
		School of Social Studies
		Sussex University
		Falmer, Brighton BN1 9QN

		or

                Systems Designers Ltd.
		1 Pembroke Broadway
		Camberley, Surrey GU15 3XH
		Tel: 0276 62244

DATED:		March 1985
NOTES:		June release will include Common Lisp.  POPLOG is
		marketed under license from the university of Sussex.
---------------------------------------------------------------------
NAME:		Prolog-1
SRC/MACHINE/OS:	MS-DOS, CP/M, PDP-11 VAX, Macintosh
FEATURES:	standard syntax, ES/P expert system shell, 1KLIPS on
		VAX/VMS
AVAILABILITY:	?
COST:		$3,275 (VAX/VMS)
CONTACT:	Expert Systems, International
		34 Alexandra Road
		Oxford OX2 0DB
		U.K.

		or

		1150 First Avenue
		King of Prussia, PA 19406
DATED:		March 1985
NOTES:		Plans to interface to RAPPORT relational database.
		Teknowledge used this Prolog for their M.1 product.
		See March 1985 issue of Dr. Dobb's Journal.
---------------------------------------------------------------------
NAME:		Prolog-2
SRC/MACHINE/OS: largely Prolog, CP/M-86, MS-DOS, RSX/RT/11; IBM-C
FEATURES:	Fast interpreter; compiler for IBM-PC version only;
		DEC-10 compatible syntax; source file editor, clause
		indexing, talk recursion optimization, virtual memory
		facility, debugger (OR-gree), error handler, garbage
		collector, ability to overlay modules, windowing
		scheme, help facility.
AVAILABILITY:	Academic and commercial.
COST:		Varies with license.
CONTACT:	Expert Systems International, Ltd.
		same address as Prolog-1
DATED:		June 1985
NOTES:		Compiler/interpreter for VAX/VMS to be released
		early 1986.
---------------------------------------------------------------------
NAME:		Prolog-10 and Prolog-20
VERSION:	3.52 (Prolog-10), 1.5 (Prolog-20)
SRC/MACHINE/OS:	Prolog+Macro-10; TOPS-10 and TOPS-20
FEATURES:	Compiler and interpreter
AVAILABILITY:	Academic and commercial licenses
STATUS:		stable, maintenance only
CONTACT:	Quintus Computer Systems
		2345 Yale Street, Palo Alto, CA 94304
		(415)494-3612
DATED:		July 1984
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; the TOPS-20 version runs in native mode and
		has a number of improvements over the TOPS-10 one
---------------------------------------------------------------------
NAME:		Prolog-86
VERSION:	?
SRC/MACHINE/OS:	MS-DOS, PC-DOS, CPM-86
FEATURES:	?
AVAILABILITY:	?
COST:		$125
CONTACT:	Solution Systems
		335-D Washington Street
		Norwell, MA 02061
		(617) 659-1571
DATED:		March 1985
NOTES:		See March 1985 issue of Dr. Dobb's Journal.
---------------------------------------------------------------------
NAME:		Prolog-II
SRC/MACHINE/OS: Prolog, Pascal, Candide, Fortran; many operating systems.
FEATURES:	Portability on account of virtual machine, and interpeter
		and compiler; interactive clause development editor;
		unification to infinite trees; postponement of evaluation;
		new data structures; modularity as system of "worlds",
		tree structured rule space.
AVAILABILITY:   Academic and commercial.
COST:		2500F to 15000F.
LOCATION:	Several sites in France, others in Europe and Venezuela.
CONTACT:	M van Canegham
		PrologIA
		278 Rue St. Pierre
		13005 Marseille
		France
DATED:		June 1985
---------------------------------------------------------------------
NAME:		Prolog-V
VERSION:	?
SRC/MACHINE/OS:	IBM PC & compatibles
FEATURES:	?
AVAILABILITY:	?
COST:		$69.95
CONTACT:	Chalcedony Software
		5580 La Jolla Blvd.
		Suite 126A
		La Jolla, CA 92037
		(619) 483-8513
DATED:		March 1985
NOTES:		See March 1985 issue of Dr. Dobb's Journal.
---------------------------------------------------------------------
NAME:		Prolog-CRISS (formerly FOLL-Prolog)
VERSION:	3.1 dated 1985
SRC/MACHINE/OS: Pascal, HB68/MULTICS; ICL2900/VME/B; soon to be
		implemented on SM90-68000 UNIX machine.
FEATURES:	Interpreter; cross-referencing between program
		identifiers, partial delay of program execution,
		intelligent backtracking, loop detection, defninite
		clause grammar, translation.
AVAILABILITY:	Academic and commercial.
COST:		10000F, or 1000F for academic use.
CONTACT:	CRISS - BP 47X
		38040 Grenoble Cedex
		France
DATED:		June 1985
---------------------------------------------------------------------
NAME:		PROLOG/P
VERSION:	2.00
SRC/MACHINE/OS: Wide range of systems, including VAX/VMS and 68000
		machines.
FEATURES:	Interpreter written in Pascal, programming environment
		written in Prolog/P; possesses powerful yet portable
		features of Prolog language; interactive programming
		environment, flexible and extensible; modularity: can
		incorporate modules written in other languages; large
		number of evaluable predicates; optimized memory
		management, tail recursion, garbage collection.
		Speed: 1300 LIPS on VAX 750/VMS.
AVAILABILITY:	Academic and commercial.
CONTACT:	Mr. Hentinger
		CRIL (Conception et Realisation Industriel de Logiciel)
		12 Bis, Rue Jean-Jaures
		92807 Puteaux
		France
		Tel: 776.34 37
DATED:		June 1985
---------------------------------------------------------------------
NAME:		Quintus Prolog
VERSION:	1.0
SRC/MACHINE/OS:	4.2 Unix on VAX and SUN, System V on CT Megaframe and
		VAX/VMS.
FEATURES:	incremental optimizing compiler with TRO and indexing;
		interpreter with full Prolog-10/20-type debugger;
		fancy Emacs interface with reconsulting/recompilation
		from editor buffers (Unipress Emacs license included);
		C interface; 23KLIPS on a VAX-780, 20KLIPS on a SUN-2.
AVAILABILITY:	supported commercial license, academic and multiple CPU
		discounts.
COST:		approx. $17,000 for VAX and $8400 for 68000; 60%
		academic discount.
STATUS:		continuing development, fully supported
CONTACT:	Jonathan Newmann
		Quintus Computer Systems, Inc.
		2345 Yale Street
		Palo Alto, CA 94304
		(415)494-3612
DATED:		June 1985
---------------------------------------------------------------------
NAME:		Salford University Prolog
SRC/MACHINE/OS:	Fortran 77, runs on Prime computers
FEATURES:	Edinburgh syntax; packaged with Salford Lisp; programs
		in one language can call programs in the other.
COST:		$3500 for universities, $750 annual maint.
CONTACT:	Salford University Industrial Centre Limited
		Salford M5 4WT
		England

		Or

		Mitchell Associates
		P.O. Box 6189
		San Rafael, CA
		(415) 435-2024
DATED:		June 1985
---------------------------------------------------------------------
NAME:		UNH Prolog
VERSION:	1.3 (1985)
SRC/MACHINE/OS:	C, VAX/VMS and UNIX
FEATURES:	Compatible with DEC-10/20 Prolog
AVAILABILITY:	Per machine license for all users
COST:		$300 handling charge for all users
STATUS:		Active
CONTACT:	James L. Weiner/Wendy Fogg
		Department of Computer Science
		University of New Hampshire
		Durham, New Hampshire 03824
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:		UNIX Prolog
VERSION:	NU7
SRC/MACHINE/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:		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:		UNSW Prolog
VERSION:	4
SRC/MACHINE/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:		A$100 in Australia,
		US$150 elsewhere
STATUS:		version 3 running for two years at UNSW
		version 4 recently completed
CONTACT:	Claude Sammut
		(USENET: decvax!mulga!munnari!basser!elecvax!claude )
		Department of Computer Science
		University of New South Wales
		P.O. Box 1
		Kensington, N.S.W. 2033
		Australia
---------------------------------------------------------------------
NAME:           Uranus System
SRC/MACHINE/OS: LISP/Dec 20, VAX/UNIX, Symbolics
FEATURES:       A superset of Prolog/KR (Prolog for Knowledge
                Representation).  DEC 10 compatibility features;
                multiple worlds mechanism, lazy and pseudo parallel
                evaluation.
AVAILABILITY:   Academic only
CONTACT:        Hideyuki Nakashima
                Information Processing Group
                Electrotechnical Laboratory
                Sakura-mura, Ibaraki 305, Japan
---------------------------------------------------------------------
NAME:    	VPI Prolog
SRC/MACHINE/OS:	Pascal, VAX with VMS.
FEATURES: 	Uses list allocation (9 byte cons) and syntax,
		double precision reals; facilities for interactive
                program development; interfaces to Lisp, Pascal and
                Fortran available, also general purpose expert system
                shell.
AVAILABILITY:	Unrestricted.
COST:		$1000
LOCATION:       6 systems in the field outside VPI, including academic,
                commercial and US Government sites.
CONTACT:	Prof. John Roach,
		Dept. of Computer Science,
		Virginia Polytechnic Institute,
		Blacksburg, Va.
		(703) 961 5368
DATED:		February 1983
NOTES:          Compiler under construction.
---------------------------------------------------------------------
NAME:		Waterloo Prolog
SRC/MACHINE/OS:	IBM VM/CMS, 68000
FEATURES:	Very fast interpreter
AVAILABILITY:	?
COST:		?
CONTACT:	Intralogic Inc.
		330 Weber St. North
		Waterloo, Ontario
		Canada
		(519) 888-6671
DATED:		June 1985
---------------------------------------------------------------------
NAME:		York Portable Prolog
VERSION:	2
SRC/MACHINE/OS:	Pascal interpreter (ISO Standard Pascal)/ wide range
                of systems that support Pascal.
FEATURES: 	Modelled after Edinburgh PDP-11 version; large number
                of built-in predicates; interactive debugging package
                written in Prolog; supports full Prolog syntax, with
                definite clause grammars, garbage collection of the
                Prolog database.
AVAILABILITY: 	Educational, research etc.
COST: 		200 pounds sterling.
STATUS: 	Available now
CONTACT: 	Mrs Jennifer TUrner
		Software Technology Research Centre
                Department of Computer Science
		University of York
		York, YO1 5DD, U.K.
                (0904) 59861
DATED:		December 1984
---------------------------------------------------------------------
---------------------------------------------------------------------