rsk@j.cc.purdue.edu.UUCP (03/15/87)
This is approximately a year old, but given the large number of requests that have come through recently...I DID NOT COMPILE THIS LIST, nor do I plan to maintain it, so please don't send updates to me. I seem to vaguely remember that Bruce Smith (bts@unc.UUCP) of UNC posted the original. Rich Kulawiec, rsk@j.cc.purdue.edu, j.cc.purdue.edu!rsk --------------------------------------------------------------------- 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: 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: 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: 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: 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: 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: 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 --------------------------------------------------------------------- [End-of-list 31-MAR-1986] ---------------------------------------------------------------------