Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site unc.UUCP Path: utzoo!watmath!clyde!burl!ulysses!unc!bts From: bts@unc.UUCP (Bruce Smith) Newsgroups: net.lang.prolog Subject: Quintus Prolog Message-ID: <148@unc.UUCP> Date: Fri, 30-Nov-84 11:45:38 EST Article-I.D.: unc.148 Posted: Fri Nov 30 11:45:38 1984 Date-Received: Sat, 1-Dec-84 20:49:59 EST Organization: CS Dept., U. of N. Carolina at Chapel Hill Lines: 28 Here is the only recent addition to the LIST-OF-PROLOGs. The entire list (~300 lines) was posted earlier this fall, but I'll mail a copy to anyone who missed it. ____________________________ Bruce Smith, UNC-Chapel Hill Dept. of Computer Science decvax!mcnc!unc!bts (USENET) New West Hall (035A) bts.unc@CSnet-Relay (others) Chapel Hill, NC 27514 ______________________________________________________________________ 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: 13 November 1984 ______________________________________________________________________