bts@unc.UUCP (Bruce Smith) (02/02/84)
--------------------------------------------------------------------- This may not have gotten out the last time I posted it. Here it is for those who didn't see it and who are still looking for a PROLOG. This is the most recent version of Randy Harr's list of PROLOGs. As always, I'm interested in corrections or additions. Some of these entries are over a year old, so there ought to be something new. Please send any info to Bruce Smith, UNC-Chapel Hill decvax!duke!unc!bts (USENET) bts.unc@CSnet-Relay (other NETworks) --------------------------------------------------------------------- --------------------------------------------------------------------- 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.1 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 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: CDL2/IBM VMS, Siemens, VAX/VMS FEATURES: Interpreter using program modules, program development system AVAILABILITY: ? COST: ? STATUS: Active CONTACT: J. Bendl Institute of Industrial Economy and Plant Organization of the Ministry of Heavy Industries HUNGARY DATED: 16 December 1982 NOTES: CDL2 was designed by Koster and others in Berlin; the CDL2 system development system is available from a software house there. --------------------------------------------------------------------- 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 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 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 --------------------------------------------------------------------- ---------------------------------------------------------------------