Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!uunet!seismo!husc6!mit-eddie!ll-xn!ames!lll-tis!ptsfa!ihnp4!inuxc!iuvax!pur-ee!j.cc.purdue.edu!rsk From: rsk@j.cc.purdue.edu (Whitewater Wombat) Newsgroups: comp.lang.prolog,comp.sources.wanted Subject: Re: How does one obtain C/Prolog? (READ THIS AND SAVE IT) Message-ID: <4850@j.cc.purdue.edu> Date: Fri, 24-Jul-87 18:31:49 EDT Article-I.D.: j.4850 Posted: Fri Jul 24 18:31:49 1987 Date-Received: Sat, 25-Jul-87 23:40:01 EDT References: <244@ndcheg.UUCP> Reply-To: rsk@j.cc.purdue.edu.UUCP (Whitewater Wombat) Organization: Purdue University Computing Center Lines: 718 Summary: Here is how you get most prologs. Xref: mnetor comp.lang.prolog:296 comp.sources.wanted:1717 In article <244@ndcheg.UUCP> jeff@ndcheg.UUCP (Jeff Kantor) writes: >I earlier posted a request asking how to obtain C/Prolog, apparently >a prolog available in source code and somewhat portable. We would >like to use it for a University Research project. However, I got no replies. Okay, I figure that at least half the queries in this group have to do with where one gets a certain Prolog. Having tired of slogging through them, I'm now reposting an article detailing where one gets various implementations. It's a little old, but should at least provide enough of a start that there won't be any need for these queries for a while, eh? I *DO NOT* guarantee that this is accurate; heck, I didn't write it. -- Rich Kulawiec, rsk@j.cc.purdue.edu, j.cc.purdue.edu!rsk PUCC News Administrator --------------------------------------------------------------------- From: bts@unc.UUCP (Bruce Smith) Newsgroups: net.lang.prolog Subject: LIST of PROLOGs Date: 9 Apr 86 00:33:29 GMT Organization: CS Dept, U. of N. Carolina, Chapel Hill After many delays, here's the latest "LIST of PROLOGs". I know much of this information is out of date by now, but if you will PLEASE mail corrections to me at UNC, I will post an updated version in May or June. Thanks to H.T. Cory and C.D.S Moss at Imperial College for most of the information on European implementations. Note that a LOCATION field has been added to several of the entries. Prolog implementors are encouraged to mail me such info for inclusion in the next LIST. _____________________________________________________________________ Bruce T. Smith Dept. of Computer Science USENET: decvax!mcnc!unc!bts New West Hall (035-A) Others: bts.unc@CSNET-RELAY Chapel Hill, NC 27514 --------------------------------------------------------------------- --------------------------------------------------------------------- NAME: A.D.A. Prolog VERSION: First release, dated 1985 SRC/MACHINE/OS: C/ MSDOS and PCDOS systems FEATURES: Incremental compiler, VML virtual memory system and extensions invisible to user, datebase access routines, debugging, stream input, list-based structure sharing, UNIX style modules, incremental garbage collection, Edinburgh-compatible syntax. AVAILABILITY: Full version from May 1985; five versions of increasing complexity available separately; educational and commercial licenses. COST: prices range from $29 to $500, depending on capability. CONTACT: Automata Design Associates 1570 Arran Way Dresker, PA 19025 (215) 335-5400 DATED: June 1985 --------------------------------------------------------------------- NAME: Arity/Prolog SRC/MACHINE/OS: IBM-PC and compatibles, the compiler is written in Arity/Prolog FEATURES: interpreter and compiler, with debugger; "string support", interface to other programming languages, UNIX-style file I/O and systems functions, text screen management; definite clause grammar support; "more comprehensive" set of primitives COST: $1950 compiler and interpreter, $495 interpreter only CONTACT: Arity Corporation 358 Baker Avenue Concord, MA 01742 (617) 371-1243 DATED: August 1985 NOTES: Arity/Prolog compiler compiles itself in less than one and 1/4 minutes on an AT --------------------------------------------------------------------- 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, source or binary COST: A$300 or US$300 or negotiable, VMS version extra STATUS: running, some development & support LOCATION: Academic and commercial sites, in Singapore and France, as well as several in Australia. 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: BIM-Prolog VERSION: 0.4, dated February 1985 SRC/MACHINE/OS: C, VAX/VMS; 4.2bsd UNIX (VAX and SUN) FEATURES: Interpreter based on translated abstract machine code; intelligent debugging system; partial evaluation system; data flow checking; integration with a relational database; real-time garbage collection; compiler to assembler being developed. AVAILABILITY: Academic and commercial COST: 350 ECU for academic license, 5000 ECU for run-time system, 10000 ECU for full programming environment. STATUS: Preliminary version available, new programming environment will be available in summer 1985. CONTACT: Raf Venken Belgian Institute of Management Kwikstraat 4 B-3047, Belgium (02) 759-5925 DATED: June 1985 ------------------------------------------------------------------------- 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 LOCATION: Many universities and research organizations in US, UK, and Europe CONTACT: Department of Architecture Edinburgh Univeristy Forest Hill Rd. Edinburgh EH1 1GZ U.K. (or decvax!mcvax!ukc!edcaad!margaret) or, in the U.S. SRI International 333 Ravenswood Ave. Menlo Park, CA 94025 DATED: July 1984 ------------------------------------------------------------------------- NAME: Horne VERSION: 5.0 SRC/MACHINE/OS: Franz Lisp FEATURES: LISP interface; tracing and debugging; typed theorem proving; automated reasoning facilities include forward chaining, constraint posting. AVAILABILITY: anyone COST: send a tape CONTACT: James Allen (USENET: rochester!james) Computer Science Dept. University of Rochester Rochester, NY 14627 DATED: Sept 1984 --------------------------------------------------------------------- NAME: IC Prolog VERSION: 0.7 (1979) SRC/MACHINE/OS: Pascal FEATURES: Uses program annotations, data flow coroutining, collectors; special features for control and data handling for datebase aplications; extended handling of negation; pseudo-parallelism annotations enable time-sharing processes on a sequential machine. AVAILABILITY: no longer supported CONTACT: F.G. McCabe Department of Computing Imperial College London SW7 2BU DATED: June 1985 --------------------------------------------------------------------- NAME: ICL Prolog VERSION: First release dated 1984 SRC/MACHINE/OS: Pascal / VME on ICL 2900 to intermediate code FEATURES: Compiler; lexical modules for construction of large applications; incremental garbage collection, tail recursion optimization, early detection of determinacy, clause indexing, trace and debugging facilities; large address space, interface to other languages. AVAILABILITY: Commercial license. COST: Complete package priced at 400 pounds per quarter, including functional LISP. LOCATION: Approximately 12 users, various applications. CONTACT: J. W. Doores International Computers Ltd. Wenlock Way, West Gorton Manchester M12 5DR Tel: 061-223 1301 DATED: June 1985 NOTES: Improved version to be released soon written in 'C' and Prolog, for UNIX on Orion and PERQ PNX systems. --------------------------------------------------------------------- NAME: IF/Prolog VERSION: 2.0 (dated Sept. 1984) SRC/MACHINE/OS: C/Cadmus 9000/UNIX, VAX/UNIX, Perkin Elmer 3200, IBM-PC, 68000 microcomputers FEATURES: Interpreter; syntax checking facility, hashing mechanism, tail recursion optimization, floating point arithmetic; window management, screen-oriented debugging; C language interface. COST: From 9000F to 12000F, or $550 to $3200 LOCATION: Approx. 100 systems at research and industrial sites. CONTACT: Interface Computer Gmbh. Oberfohringerstr 24a+b D-8000 Munich 81 Germany or Stewart Hughes, Ltd. Chilworth Manor Southampton S09 1XB DATED: June 1985 NOTES: Prolog compiler will be available in Autumn 1985, to run on a wide range of machines. --------------------------------------------------------------------- NAME: The Logic WorkBench SRC/MACHINE/OS: various 68000 UNIX systems FEATURES: Edinburgh syntax; compiler, interpreter, interactive debugger, interface to C; Prolog interface to external database; ability to store large Prolog databases on disk and use then without downloading into main memory. COST: $6,900 CONTACT: Silogic, Inc. 6420 Wilshire Blvd. Los Angeles, CA 90048 (213) 653-6470 DATED: June 1985 --------------------------------------------------------------------- NAME: LM-Prolog SRC/MACHINE/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. LOCATION: Sweden and USA CONTACT: LMI Suite 900 6033 West Century Blvd. Los Angeles, CA 90045 or Uppsala Programming Methodology and AI Laboratory Department of Computing Science PO Box 2059 S-750 02 Uppsala Sweden DATED: June 1985 --------------------------------------------------------------------- NAME: LOGLISP VERSION: Version 3 (dated 1984) SRC/MACHINE/OS: UCI Rutgers LISP/DEC 10; Zetalisp/LMI Lambda; Symbolics 3600. FEATURES: Interpreter incorporating breadth-first and heuristic search mode and notion of reducibility; LISP host environment with embedded logic programming system; uses structure sharing techniques with reduction; functions in modules; set of new LISP primitives callable from within LISP programs. AVAILABILITY: Commercial, academic and US Government licenses. COST: $30 to $400, depending on license. LOCATION: About 150 systems in the USA (academic, commercial and US Government establishments). CONTACT: K. J. Greene 313 Link Hall School of Computer and Information Science Syracuse University Syracuse, NY 13210 DATED: June 1985 --------------------------------------------------------------------- NAME: Micro-Prolog VERSION: 3.1 (dated March 1984) SRC/MACHINE/OS: Assembler/ CP/M-80 and MSDOS microcomputers. FEATURES: Extensibility of supervisor made possible by modules; interactive program text editor; editor and trace utility modules; real numbers; memory trace facility; SIMPLE extension to supervisor; DEC-10 front end for machines with >64KB memories; APES -- Expert System Shell available. AVAILABILITY: Academic and commercial licenses available. COST: For CPM80 machines: 125 pounds or $195; for CPM86/MSDOS/PCDOS machine: 175 pounds or $295; special rates for educational institutions. LOCATION: Over 2000 systems sold worldwide, about 50% in USA, and 10% in Japan. About half are in educational institutions. CONTACT: Programming Logic Systems 31 Crescent Drive Milford, CT 06460 or Logic Programming Associates Studio 4, The Royal Victoria Patriotic Building Trinity Road London SW18 6SX DATED: June 1985 --------------------------------------------------------------------- NAME: MProlog VERSION: 1.5 (dated 1984) 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. LOCATION: Hungary and other European countries, UK, Canada, US. 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 or Systems, Computers and Informatics Laboratory, SZKI 1368 Budapest, POB 224 Hungary DATED: March 1985 --------------------------------------------------------------------- NAME: Micro-Prolog SRC/MACHINE/OS: 68000/UNIX, VAX/UNIX, FEATURES: Different syntax, APES expert system shell. COST: $700 for 68000, $1500 for VAX, $1000 for APES. CONTACT: Logic Programming Associates, Ltd. 36 Gorst Road London SW11 6JE U.K. Or Programming Logic Systems 31 Crescent Drive Milford, CT 06460 DATED: June 1985 --------------------------------------------------------------------- NAME: Modula-Prolog SRC/MACHINE/OS: Modula-2, MS-DOS, VAX VMS and UNIX FEATURES: Modula-Prolog is a software package written in Modula-2, offering tools for constructing Prolog interpreters which can interact in many ways with other Modula-2 programs. Fully compatible with Clocksin & Mellish. AVAILABILITY: ? COST: ? CONTACT: Carlo Muller Brown Boveri Research CH-5405 Baden Switzerland --------------------------------------------------------------------- NAME: MU-Prolog VERSION: 3.1db SRC/MACHINE/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 SRC/MACHINE/OS: Pascal FEATURES: Marseilles syntax, very limited set of evaluable predicates (arithmetic, output, bagof); tail recursion and 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 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 or Cognitive Studies Programme School of Social Studies Sussex University Falmer, Brighton BN1 9QN or Systems Designers Ltd. 1 Pembroke Broadway Camberley, Surrey GU15 3XH Tel: 0276 62244 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: Prolog-2 SRC/MACHINE/OS: largely Prolog, CP/M-86, MS-DOS, RSX/RT/11; IBM-C FEATURES: Fast interpreter; compiler for IBM-PC version only; DEC-10 compatible syntax; source file editor, clause indexing, talk recursion optimization, virtual memory facility, debugger (OR-gree), error handler, garbage collector, ability to overlay modules, windowing scheme, help facility. AVAILABILITY: Academic and commercial. COST: Varies with license. CONTACT: Expert Systems International, Ltd. same address as Prolog-1 DATED: June 1985 NOTES: Compiler/interpreter for VAX/VMS to be released early 1986. --------------------------------------------------------------------- NAME: Prolog-10 and Prolog-20 VERSION: 3.52 (Prolog-10), 1.5 (Prolog-20) SRC/MACHINE/OS: Prolog+Macro-10; TOPS-10 and TOPS-20 FEATURES: Compiler and interpreter AVAILABILITY: Academic and commercial licenses 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: ? SRC/MACHINE/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-II SRC/MACHINE/OS: Prolog, Pascal, Candide, Fortran; many operating systems. FEATURES: Portability on account of virtual machine, and interpeter and compiler; interactive clause development editor; unification to infinite trees; postponement of evaluation; new data structures; modularity as system of "worlds", tree structured rule space. AVAILABILITY: Academic and commercial. COST: 2500F to 15000F. LOCATION: Several sites in France, others in Europe and Venezuela. CONTACT: M van Canegham PrologIA 278 Rue St. Pierre 13005 Marseille France DATED: June 1985 --------------------------------------------------------------------- NAME: Prolog-V VERSION: ? SRC/MACHINE/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: Prolog-CRISS (formerly FOLL-Prolog) VERSION: 3.1 dated 1985 SRC/MACHINE/OS: Pascal, HB68/MULTICS; ICL2900/VME/B; soon to be implemented on SM90-68000 UNIX machine. FEATURES: Interpreter; cross-referencing between program identifiers, partial delay of program execution, intelligent backtracking, loop detection, defninite clause grammar, translation. AVAILABILITY: Academic and commercial. COST: 10000F, or 1000F for academic use. CONTACT: CRISS - BP 47X 38040 Grenoble Cedex France DATED: June 1985 --------------------------------------------------------------------- NAME: PROLOG/P VERSION: 2.00 SRC/MACHINE/OS: Wide range of systems, including VAX/VMS and 68000 machines. FEATURES: Interpreter written in Pascal, programming environment written in Prolog/P; possesses powerful yet portable features of Prolog language; interactive programming environment, flexible and extensible; modularity: can incorporate modules written in other languages; large number of evaluable predicates; optimized memory management, tail recursion, garbage collection. Speed: 1300 LIPS on VAX 750/VMS. AVAILABILITY: Academic and commercial. CONTACT: Mr. Hentinger CRIL (Conception et Realisation Industriel de Logiciel) 12 Bis, Rue Jean-Jaures 92807 Puteaux France Tel: 776.34 37 DATED: June 1985 --------------------------------------------------------------------- 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, 20KLIPS on a SUN-2. AVAILABILITY: supported commercial license, academic and multiple CPU discounts. COST: approx. $17,000 for VAX and $8400 for 68000; 60% academic discount. 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: Salford University Prolog SRC/MACHINE/OS: Fortran 77, runs on Prime computers FEATURES: Edinburgh syntax; packaged with Salford Lisp; programs in one language can call programs in the other. COST: $3500 for universities, $750 annual maint. CONTACT: Salford University Industrial Centre Limited Salford M5 4WT England Or Mitchell Associates P.O. Box 6189 San Rafael, CA (415) 435-2024 DATED: June 1985 --------------------------------------------------------------------- NAME: UNH Prolog VERSION: 1.3 (1985) SRC/MACHINE/OS: C, VAX/VMS and UNIX FEATURES: Compatible with DEC-10/20 Prolog AVAILABILITY: Per machine license for all users COST: $300 handling charge for all users STATUS: Active CONTACT: James L. Weiner/Wendy Fogg Department of Computer Science University of New Hampshire Durham, New Hampshire 03824 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: UNIX Prolog VERSION: NU7 SRC/MACHINE/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: UNSW Prolog VERSION: 4 SRC/MACHINE/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 --------------------------------------------------------------------- NAME: Uranus System SRC/MACHINE/OS: LISP/Dec 20, VAX/UNIX, Symbolics FEATURES: A superset of Prolog/KR (Prolog for Knowledge Representation). DEC 10 compatibility features; multiple worlds mechanism, lazy and pseudo parallel evaluation. AVAILABILITY: Academic only CONTACT: Hideyuki Nakashima Information Processing Group Electrotechnical Laboratory Sakura-mura, Ibaraki 305, Japan --------------------------------------------------------------------- NAME: VPI Prolog SRC/MACHINE/OS: Pascal, VAX with VMS. FEATURES: Uses list allocation (9 byte cons) and syntax, double precision reals; facilities for interactive program development; interfaces to Lisp, Pascal and Fortran available, also general purpose expert system shell. AVAILABILITY: Unrestricted. COST: $1000 LOCATION: 6 systems in the field outside VPI, including academic, commercial and US Government sites. CONTACT: Prof. John Roach, Dept. of Computer Science, Virginia Polytechnic Institute, Blacksburg, Va. (703) 961 5368 DATED: February 1983 NOTES: Compiler under construction. --------------------------------------------------------------------- NAME: Waterloo Prolog SRC/MACHINE/OS: IBM VM/CMS, 68000 FEATURES: Very fast interpreter AVAILABILITY: ? COST: ? CONTACT: Intralogic Inc. 330 Weber St. North Waterloo, Ontario Canada (519) 888-6671 DATED: June 1985 --------------------------------------------------------------------- NAME: York Portable Prolog VERSION: 2 SRC/MACHINE/OS: Pascal interpreter (ISO Standard Pascal)/ wide range of systems that support Pascal. FEATURES: Modelled after Edinburgh PDP-11 version; large number of built-in predicates; interactive debugging package written in Prolog; supports full Prolog syntax, with definite clause grammars, garbage collection of the Prolog database. AVAILABILITY: Educational, research etc. COST: 200 pounds sterling. STATUS: Available now CONTACT: Mrs Jennifer TUrner Software Technology Research Centre Department of Computer Science University of York York, YO1 5DD, U.K. (0904) 59861 DATED: December 1984 --------------------------------------------------------------------- ---------------------------------------------------------------------