mayer@cooper.UUCP (mayer) (03/31/86)
*** MESSAGE for the line eater *** Considering how often people request information on where to get a specific imlementation of Prolog, how about creating a table of Prologs describing their system/OS configurations, how much they cost, how to get them, what's special about them, etc. which would be updated and reposted at regular intervals ( once a month ? ). This seems like a worthwhile use of net.lang.prolog, informing newcomers to Prolog and long time users of the language about what is available. Are any of the regular posters of net.lang.prolog interested in taking on this job? Anyway, in answer to the repeated requests for information on C-Prolog below is a list of Prologs ( including C-Prolog) for VMS and other OS's that was given to me by Bob Ensor @ allegra!vax135!jre --------------------------------------------------------------------- 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] ---------------------------------------------------------------------