dennis@boulder.UUCP (Dennis Heimbigner) (01/23/85)
If anyone saved the "List of Prologs" that was posted to the net, could they please ship me a copy? Dennis Heimbigner dennis.boulder@csnet-relay
chrsbmw@pertec.UUCP (chris mihaly) (01/27/85)
> If anyone saved the "List of Prologs" that was posted > to the net, could they please ship me a copy? > > Dennis Heimbigner > dennis.boulder@csnet-relay Yes I would be interested in a copy of it too. If you could forward me a copy too, it would be appreciated. Thank you, Christopher D. Mihaly {ucbvax!unisoft | scgvaxd | trwrb | felix}!pertec!chrsbmw or {ucbvax!ucivax | trwrb | unisoft!pertec}!csuf!chrsbmw "But you told me to type rm * .o and it came back with 'rm: .o nonexistent'" -- Christopher D. Mihaly {ucbvax!unisoft | scgvaxd | trwrb | felix}!pertec!chrsbmw or {ucbvax!ucivax | trwrb | unisoft!pertec}!csuf!chrsbmw "But you told me to type rm * .o and it came back with 'rm: .o nonexistent'"
bts@mcnc.UUCP (Bruce T. Smith) (06/07/85)
The "LIST of PROLOGs" was started by Randy Harr (then at CWRU) and
myself, largely from the USENET and ARPANET computer networks. It's
grown over the last couple of years, with help from numerous Prolog
folks.
The list emphasizes Prolog systems that are currently available.
Also, I've tried to note which vendors offer educational discounts.
There are a lot of new Prolog systems being announced, with rumors of
still more on the way. In particular, I expect that this list'll be
very much out of date after this summer's Logic Programming Symposium
and, of course, IJCAI.
Please let me know of any additions or corrections to the list.
Sorry, but I didn't have time to verify all the information. Some of
the entries are also over a year old and are likely out of date.
_____________________________
Bruce T. Smith, UNC-CH Department of Computer Science
decvax!mcnc!bts (USENET) New West Hall (035-A)
bts.unc@CSnet-Relay (others) Chapel Hill, NC 27514
---------------------------------------------------------------------
---------------------------------------------------------------------
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: June 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
COST: A$300 (VMS version extra)
STATUS: running, some development & support
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: 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
STATUS: Frozen
CONTACT: EdCAAD
Department of Architecture
University of Edinburgh
20 Chambers Street
Edinburgh EH1 1GZ Scotland
U.K.
(or decvax!mcvax!ukc!edcaad!margaret)
DATED: July 1984
-------------------------------------------------------------------------
NAME: Horne
SRC/MACHINE/OS: Franz Lisp
FEATURES: lacks integers and control features of other Prologs
AVAILABILITY: anyone
COST: send a tape
CONTACT: James Allen (USENET: rochester!james)
University of Rochester
DATED: December 1982
---------------------------------------------------------------------
NAME: IF/Prolog
SRC/MACHINE/OS: MS-DOS, PC-DOS, UNIX, VAX/VMS and 14 others (?)
AVAILABILITY: anyone
CONTACT: Interface Computer Gmbh.
Munich, Germany
DATED: June 1985
NOTES: Compiler promised for early 1985.
---------------------------------------------------------------------
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.
STATUS: Supported.
CONTACT: Elaine S. Donley, LMI
6033 West Century Blvd., suite 900
Los Angeles, CA 90045
USA
DATED: December 1983
NOTES: This implementation has little in common with the
system described in "Implementations of PROLOG"
(ed. J.A. Campbell).
---------------------------------------------------------------------
NAME: MProlog
VERSION: 1.5
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.
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
DATED: March 1985
NOTES: Compiler & optimizer; floating point available soon.
See ad in March 1985 Dr. Dobb's Journal for more
information. Now being marketed by Logic Programming
Associates (?).
---------------------------------------------------------------------
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
NOTES: Also called Sigma-Prolog. Rumored to work on a
dedicated Prolog machine.
---------------------------------------------------------------------
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
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-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-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: 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, 2KLIPS on a SUN-2.
AVAILABILITY: supported commercial license, academic and multiple CPU
discounts.
COST: approx. $17,000 for VAX and $8400 for 68000.
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
SRC/MACHINE/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: 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
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
DATED: August 1984
---------------------------------------------------------------------
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: Waterloo Prolog
VERSION: ?
SRC/MACHINE/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).
CONTACT: Sandra Ward
Department of Computing Services
University of Waterloo
Waterloo, Ontario N2L 3G1
CANADA
DATED: December 1982
NOTES: Very fast interpreter
---------------------------------------------------------------------
NAME: York Prolog
VERSION: 2
SRC/MACHINE/OS: Pascal
FEATURES: Modelled after Edinburgh PDP-11 version.
AVAILABILITY: To educational, research etc.
COST: 200 pounds sterling.
STATUS: Available now
CONTACT: Ian Wand,
Dept of Chemistry,
University of York,
York, England.
DATED: December 1984
---------------------------------------------------------------------
NAME: VPI Prolog
VERSION: ?
SRC/MACHINE/OS: Pascal, VAX with VMS.
FEATURES: Uses list allocation (9 byte cons) and syntax,
double precision reals.
AVAILABILITY: Unrestricted.
COST: $1000
CONTACT: Prof. John Roach,
Dept. of Computer Science,
Virginia Polytechnic Institute,
Blacksburg, Va.
(703) 961 5368
DATED: February 1983
---------------------------------------------------------------------
---------------------------------------------------------------------rggoebel@water.UUCP (Randy Goebel LPAIG) (06/12/85)
> ... Please let me know of any additions or corrections to the list. > Sorry, but I didn't have time to verify all the information. Some of > the entries are also over a year old and are likely out of date. > _____________________________ > Bruce T. Smith, UNC-CH Department of Computer Science > decvax!mcnc!bts (USENET) New West Hall (035-A) > bts.unc@CSnet-Relay (others) Chapel Hill, NC 27514 > --------------------------------------------------------------------- > NAME: Waterloo Prolog > VERSION: ? > SRC/MACHINE/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). > CONTACT: Sandra Ward > Department of Computing Services > University of Waterloo > Waterloo, Ontario N2L 3G1 > CANADA > DATED: December 1982 > NOTES: Very fast interpreter > --------------------------------------------------------------------- This information is two years out of date. The Waterloo Prolog interpreter is being distributed by Intralogic Inc., 330 Weber St. North, Waterloo, Ontario, Canada. Their phone number is (519) 888-6671. The VM/CMS version is among the fastest interpreters in the world, and has been around since 1977, about the same time that Warren's compiler first appeared. The interpreter was originally built by Grant Roberts, while a graduate student at the University of Waterloo. Intralogic has constructed another similar interpreter, based on the 68000. You will have to contact Intralogic for details on price and licensing. Randy Goebel Logic Programming and Artificial Intelligence Group Computer Science Department University of Waterloo Waterloo, Ontario, CANADA N2L 3G1 UUCP: {decvax,ihnp4,allegra}!watmath!water!rggoebel CSNET: rggoebel%water@waterloo.csnet ARPA: rggoebel%water%waterloo.csnet@csnet-relay.arpa
bts@unc.UUCP (Bruce Smith) (04/09/86)
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
---------------------------------------------------------------------
---------------------------------------------------------------------