bts@unc.UUCP (Bruce Smith) (11/30/84)
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 ______________________________________________________________________