Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84; site mcnc.mcnc.UUCP Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!decvax!mcnc!bts From: bts@mcnc.UUCP (Bruce T. Smith) Newsgroups: net.lang.prolog Subject: List-of-PROLOGs Message-ID: <466@mcnc.mcnc.UUCP> Date: Wed, 10-Apr-85 10:16:47 EST Article-I.D.: mcnc.466 Posted: Wed Apr 10 10:16:47 1985 Date-Received: Sat, 13-Apr-85 03:50:58 EST Distribution: net Organization: Microelectronics Center of NC; RTP, NC Lines: 365 This list of PROLOGs was collected by Randy Harr of CWRU and myself, mostly from the USENET and ARPANET computer networks. The emphasis is on systems that are available to academic users. 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 T. Smith, MCNC Microelectronics Center of N.C. decvax!mcnc!bts (USENET) P.O. Box 12889, 3021 Cornwallis Rd. bts.mcnc@CSnet-Relay (others) Research Triangle Park, NC 27709 --------------------------------------------------------------------- --------------------------------------------------------------------- NAME: ? Prolog VERSION: ? SOURCE/OS: C/Unix V? FEATURES: Interpreter AVAILABILITY: ? COST: ? CONTACT: Maurice Brynooghe Katholieke Universiteit Leuven Department Computerwetenschappen Celestijnenlaan 200A B-3030 Leuven-Heverlee Belgium DATED: March 1982 --------------------------------------------------------------------- NAME: Basser Prolog VERSION: 3 SOURCE/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 SOURCE/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 VERSION: ? SOURCE/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: LM-Prolog SOURCE/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: The implementation has little in common with the system described in "Implementations of PROLOG" (ed. J.A. Campbell). --------------------------------------------------------------------- NAME: LPA Prolog, LPA Sigma-Prolog VERSION: ? SOURCE/OS: MS-DOS, PC-DOS, CP/M, UNIX (VAX and 68000) FEATURES: ? AVAILABILITY: Commercial and educational COST: See March 1985 issue of Dr. Dobb's Journal for price list. CONTACT: Programming Logic Systems 31 Crescent Drive Milford, CT 06460 (203) 877-7988 DATED: March 1985 --------------------------------------------------------------------- NAME: MProlog VERSION: 1.5 SOURCE/OS: CDL2 & Prolog; DEC VAX: VMS and UNIX (4.2 BSD); IBM: VM/CMS, MVS/TSO; IBM-PC: PC DOS; 68000 based UNIX Variations 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; Documentation and Education 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. --------------------------------------------------------------------- NAME: MU-Prolog VERSION: 3.1db 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: $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 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 DATED: February 1983 ------------------------------------------------------------------- NAME: POPLOG VERSION: ? SOURCE/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 VERSION: ? SOURCE/OS: assembly language on MS-DOS, CP/M, VAX, Macintosh FEATURES: ? AVAILABILITY: ? COST: ? CONTACT: Expert Systems International 1150 First Avenue King of Prussia, PA 19406 DATED: March 1985 NOTES: See March 1985 issue of Dr. Dobb's Journal. --------------------------------------------------------------------- NAME: Prolog-10 and Prolog-20 VERSION: 3.52 (Prolog-10), 1.5 (Prolog-20) SOURCE/OS: Prolog+Macro-10; TOPS-10 and TOPS-20 FEATURES: Compiler and interpreter AVAILABILITY: Academic and commercial licenses COST: ? 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: ? SOURCE/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: ? SOURCE/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 SOURCE/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. Speed: 23000 LIPS on a VAX-780, 20000 LIPS on a SUN-2. AVAILABILITY: Supported commercial license, academic and multiple CPU discounts. Delivery January 85, orders now. COST: varies with configuration STATUS: continuing development, fully supported CONTACT: Jonathan Newmann Quintus Computer Systems, Inc. 2345 Yale Street Palo Alto, CA 94304 (415)494-3612 DATED: November 1984 --------------------------------------------------------------------- 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: 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: 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 NOTES: Developed at University of New South Wales. Do *not* write to the University of Illinois concerning UNSW Prolog! Do not send a tape when ordering UNSW Prolog. --------------------------------------------------------------------- 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: 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). 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 SOURCE: 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: ? SOURCE/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 --------------------------------------------------------------------- ---------------------------------------------------------------------