harr (12/13/82)
Due to the still numerous requests by mail, I have compiled the following listing of Prolog systems being distributed in one form or another. The list is compiled from network jabber and personal information. Some of the entries are very sketchy. Any deletions, additions, or changes should be sent back to me. I especially welcome any information from the sites which are listed here with sketchy information. If there are many changes, I will post the information again; otherwise the list will be available via network mail only. Randolph E. Harr Case Western Reserve University decvax!cwruecmp!harr Prolog versions available: --------------------------------------------------------------------- NAME: DEC-10 Prolog VERSION: 1.37 Interpreter, 1.14 compiler SOURCE/OS: Fortran(?)/DEC-10 FEATURES: Interpreter, Compiler AVAILABILITY: Restricted License per machine COST: ? STATUS: Active (?) CONTACT: Robert Rae Department of Artificial Intelligence University of Edinburgh Forrest Hill Edinburgh EH1 2QL Scotland, U.K. DATED: 1 December 1982 NOTES: Second implementation, one of the most extensive. --------------------------------------------------------------------- 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: Has been run in compatability mode on VAX's under 4.1 BSD, contact ken hersch @ univ. of North Carolina (unc!kh). --------------------------------------------------------------------- NAME: CProlog VERSION: ? SOURCE/OS: C/UNIX 4.1 BSD, C/Eunice FEATURES: Interpreter, compiler, floating point constants AVAILABILITY: Restricted License, research and teaching purposes only. COST: ? 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. DATED: 1 December 1982 NOTES: Enhanced version of Unix Prolog from DAI, Edinburgh. --------------------------------------------------------------------- NAME: MProlog VERSION: ? SOURCE/OS: CDL2/(hundreds of machines) 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. NIM IGUSZI, HUNGARY, 1363 Budapest, Pf. 33 DATED: July 1980 NOTES: CDL2 is local to Hungary I believe (reh). --------------------------------------------------------------------- NAME: IC-PROLOG VERSION: ? SOURCE/OS: ? FEATURES: Interpreter with psuedo-parallel execution of goals AVAILABILITY: ? COST: ? STATUS: ? CONTACT: K. L. Clark Imperial College of Science and Technology Department of Computing Control 180 Queen's Gate London SW7 2BZ England, U.K. DATED: July 1980 NOTES: Patterned after DEC-10 Prolog syntax. --------------------------------------------------------------------- NAME: UNSW Prolog VERSION: ? SOURCE/OS: C/Unix V7 FEATURES: Interpreter, enhanced UNIX interface AVAILABILITY: ? COST: ? STATUS: ? CONTACT: Claude Sammut Department of Math and Computer Science St. Josephs University 5600 City Avenue Philadelphia, PA 19131 DATED: 1 December 1982 NOTES: Developed @ University of South Wales --------------------------------------------------------------------- NAME: (?) Unix Prolog VERSION: ? SOURCE/OS: Vax assembly/? FEATURES: Interpreter AVAILABILITY: ? COST: ? STATUS: ? CONTACT: Peter Roosen-Runge Department of Computer Science York University 4700 Keele Street Downsview, Ontario M3J 1P3 Canada DATED: 6 March 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 NOTES: --------------------------------------------------------------------- NAME: ? Prolog VERSION: ? SOURCE/OS: C/Unix V7 FEATURES: Interpreter, enhanced Unix environment, modular programming AVAILABILITY: ? COST: ? STATUS: Under Development (?) CONTACT: Alan Feuer Bell Telephone Laboratories Murray Hill, N.J. (usenet -> eagle!arf) DATED: 1 December 1982 NOTES: --------------------------------------------------------------------- NAME: Waterloo Prolog VERSION: ? SOURCE/OS: IBM 370 Assembler/? FEATURES: Interpreter AVAILABILITY: ? COST: ? STATUS: ? CONTACT: ? (try Martin van Emden via usenet -> watmath!mhvanemden) DATED: July 1980 NOTES: --------------------------------------------------------------------- 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.