From: mkant+@cs.cmu.edu (Mark Kantrowitz)
Subject: Re: Commercial Prolog
Organization: School of Computer Science, Carnegie Mellon
Date: Fri, 11 Sep 1992 03:33:59 GMT


> Are there any other Prolog implementations I should be looking at?
> If so, I would appreciate the name and phone number.

Here's everything I know about:

   AAIS Prolog is an Edinburgh-standard compiler and interpreter runs on
   the Apple Macintosh and costs $298. Write to Advanced AI Systems,
   Inc., PO Box 39-0360, Mountain View, CA 94039-0360, call 415-948-8658,
   or fax 415-948-2486.

   ALS Prolog runs on 80386 machines, including DOS ($799), Sun 386i, Xenix,
   Apple Macintosh ($499) and System V Unix (Microport). It is available from
   Applied Logic Systems, Inc., PO Box 90, University Station, Syracuse,
   NY 13210-0090, phone 315-471-3900, fax 315-471-2606.

   Arity Prolog runs on DOS ($650), OS/2 ($1k), Windows (extra $350),
   OS/2 V.2, and Windows-NT. For more information, write to Arity
   Corporation, Damonmill Square, Concord, MA 01742, call 800-722-7489
   (508-371-1243), or fax 508-371-1487. 

   BIM Prolog includes Carmen, a user-interface generator for XView and
   SunView. It runs on Sparcs and RS/6000 and costs $9k. For more
   information, contact BIM Systems, Inc., 11111 Santa Monica Boulevard,
   Suite 650, Los Angeles, CA 90025, call 310-445-1500, fax 310-445-1515,
   or email prolog@sunbim.be (Kathleen Pierco).

   Cogent Prolog is an Edinburgh-standard compiler and interpreter for
   DOS-based PCs. Includes a foreign function interface. It costs $199.
   For more information, write Amziod, 40 Samuel Prescott Drive, Stow, MA
   01775, call 508-897-5560 or fax 508-897-7332. Amziod also sells the
   Active Prolog Tutor for DOS for $65.

   Delphia Prolog is an Edinburgh-standard compiler and interpreter that
   runs on Sun3, Sparc, RS/6000, Apollo, HP9000, SCO Unix, DecStation,
   Sony NEWS, and VAX VMS for $10k. Write to Delphia, 27 Avenue de la
   Republique, 38170 Seyssinet, France, call 33-76-26-68-94 or fax
   33-76-26-52-27. 

   IF/Prolog is a prolog interpreter and compiler with X-window debugger,
   bidirectional C interface, on-line manual, and X-window and Motif
   interfaces. It runs on  Aviion 300, DGMV15000 M8, Macintosh (A/UX),
   microVAX 2000, HP9000, Sparc and IBM RS/6000, Decstation 3100, Sequent
   S16, Silicon Graphics 4D/210S, and DOS-based 386 PCs. It's a bit pricey. 
   For more information, write to InterFace Computer, Inc., 1705 Capital of
   Texas Highway South, Suite 200, Austin, TX 78746, call 512-327-5344, 
   or fax 512-327-5176..

   LPA Prolog is a prolog compiler for DOS-based PCs and Apple Macintosh.
   LPA Prolog ++ is an object-oriented programming system based on
   Prolog. Write to Logic Programming Associates, Ltd., Studio 4 RVPB,
   Trinity Road, London SW18 3SX, England, call 81-871-2016, fax 81-874-0449,
   or email lpa@cix.compulink.co.uk.
   
   Paralogic is a parallel implementation of the Clocksin and Mellish
   Prolog. It runs on DOS-based PCs with the INMOS Transputers. For more
   information, write to Paralogic Inc., 115 Research Drive, Bethlehem,
   PA 18015, call 215-861-6960, or fax 215-861-8247. It is also
   distributed by Computer Systems Architects, 905 N. University Avenue,
   Provo, UT 84604-3422, 800-753-4272 (801-374-2300), fax 801-374-2306.

   PDC Prolog runs on DOS, OS/2 and SCO Unix. Formerly known as Turbo
   Prolog. For more information, write Prolog Development Center, 568
   14th Street, Atlanta, GA 30318, call 800-762-2710, (404-873-1366), fax
   404-872-5243 or email pdc-request@pdc.dk (general information),
   sales@pdc.dk (sales), support@pdc.dk (tech support).

   Prolog III integrates constraint programming with Prolog. It runs on
   Apple Macintosh, DOS, Next, Sun3, Sparc, HP9000, Apollo, RS/6000,
   DecStation and MicroVAX. For more information, write to PrologIA, Parc
   Technologique de Luminy, Case 919, 13288 Marseilles, France, call
   33-91-26-86-36 or fax 33-91-41-96-37.

   Quintus Prolog runs on Unix (Sparc, sun3, Vax, HP9000, Apollo, VAX,
   Intergraph, Solbourne, RS/6000, and MIPS), DOS, Windows, and
   Macintosh. For more information, contact Quintus Corporation, 2100
   Geng Road, Palo Alto, CA 94303, call 415-813-3800, fax 415-494-7608, 
   or email sales@quintus.com (sales), teksup@quintus.com (tech support).
   To be added to the users group mailing list, send mail to
   quintus-users-request@quintus.com. 

--mark
Xref: sparky comp.lang.prolog:1675 comp.lang.c:13325