home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / prolog / 1686 < prev    next >
Encoding:
Text File  |  1992-09-10  |  4.7 KB  |  95 lines

  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!cis.ohio-state.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Subject: Re: Commercial Prolog
  5. Message-ID: <BuE9wo.G83.1@cs.cmu.edu>
  6. Sender: news@cs.cmu.edu (Usenet News System)
  7. Nntp-Posting-Host: glinda.oz.cs.cmu.edu
  8. Organization: School of Computer Science, Carnegie Mellon
  9. References: <1992Sep9.225015.2580@dvorak.amd.com>
  10. Date: Fri, 11 Sep 1992 03:33:59 GMT
  11. Lines: 82
  12.  
  13.  
  14. > Are there any other Prolog implementations I should be looking at?
  15. > If so, I would appreciate the name and phone number.
  16.  
  17. Here's everything I know about:
  18.  
  19.    AAIS Prolog is an Edinburgh-standard compiler and interpreter runs on
  20.    the Apple Macintosh and costs $298. Write to Advanced AI Systems,
  21.    Inc., PO Box 39-0360, Mountain View, CA 94039-0360, call 415-948-8658,
  22.    or fax 415-948-2486.
  23.  
  24.    ALS Prolog runs on 80386 machines, including DOS ($799), Sun 386i, Xenix,
  25.    Apple Macintosh ($499) and System V Unix (Microport). It is available from
  26.    Applied Logic Systems, Inc., PO Box 90, University Station, Syracuse,
  27.    NY 13210-0090, phone 315-471-3900, fax 315-471-2606.
  28.  
  29.    Arity Prolog runs on DOS ($650), OS/2 ($1k), Windows (extra $350),
  30.    OS/2 V.2, and Windows-NT. For more information, write to Arity
  31.    Corporation, Damonmill Square, Concord, MA 01742, call 800-722-7489
  32.    (508-371-1243), or fax 508-371-1487. 
  33.  
  34.    BIM Prolog includes Carmen, a user-interface generator for XView and
  35.    SunView. It runs on Sparcs and RS/6000 and costs $9k. For more
  36.    information, contact BIM Systems, Inc., 11111 Santa Monica Boulevard,
  37.    Suite 650, Los Angeles, CA 90025, call 310-445-1500, fax 310-445-1515,
  38.    or email prolog@sunbim.be (Kathleen Pierco).
  39.  
  40.    Cogent Prolog is an Edinburgh-standard compiler and interpreter for
  41.    DOS-based PCs. Includes a foreign function interface. It costs $199.
  42.    For more information, write Amziod, 40 Samuel Prescott Drive, Stow, MA
  43.    01775, call 508-897-5560 or fax 508-897-7332. Amziod also sells the
  44.    Active Prolog Tutor for DOS for $65.
  45.  
  46.    Delphia Prolog is an Edinburgh-standard compiler and interpreter that
  47.    runs on Sun3, Sparc, RS/6000, Apollo, HP9000, SCO Unix, DecStation,
  48.    Sony NEWS, and VAX VMS for $10k. Write to Delphia, 27 Avenue de la
  49.    Republique, 38170 Seyssinet, France, call 33-76-26-68-94 or fax
  50.    33-76-26-52-27. 
  51.  
  52.    IF/Prolog is a prolog interpreter and compiler with X-window debugger,
  53.    bidirectional C interface, on-line manual, and X-window and Motif
  54.    interfaces. It runs on  Aviion 300, DGMV15000 M8, Macintosh (A/UX),
  55.    microVAX 2000, HP9000, Sparc and IBM RS/6000, Decstation 3100, Sequent
  56.    S16, Silicon Graphics 4D/210S, and DOS-based 386 PCs. It's a bit pricey. 
  57.    For more information, write to InterFace Computer, Inc., 1705 Capital of
  58.    Texas Highway South, Suite 200, Austin, TX 78746, call 512-327-5344, 
  59.    or fax 512-327-5176..
  60.  
  61.    LPA Prolog is a prolog compiler for DOS-based PCs and Apple Macintosh.
  62.    LPA Prolog ++ is an object-oriented programming system based on
  63.    Prolog. Write to Logic Programming Associates, Ltd., Studio 4 RVPB,
  64.    Trinity Road, London SW18 3SX, England, call 81-871-2016, fax 81-874-0449,
  65.    or email lpa@cix.compulink.co.uk.
  66.    
  67.    Paralogic is a parallel implementation of the Clocksin and Mellish
  68.    Prolog. It runs on DOS-based PCs with the INMOS Transputers. For more
  69.    information, write to Paralogic Inc., 115 Research Drive, Bethlehem,
  70.    PA 18015, call 215-861-6960, or fax 215-861-8247. It is also
  71.    distributed by Computer Systems Architects, 905 N. University Avenue,
  72.    Provo, UT 84604-3422, 800-753-4272 (801-374-2300), fax 801-374-2306.
  73.  
  74.    PDC Prolog runs on DOS, OS/2 and SCO Unix. Formerly known as Turbo
  75.    Prolog. For more information, write Prolog Development Center, 568
  76.    14th Street, Atlanta, GA 30318, call 800-762-2710, (404-873-1366), fax
  77.    404-872-5243 or email pdc-request@pdc.dk (general information),
  78.    sales@pdc.dk (sales), support@pdc.dk (tech support).
  79.  
  80.    Prolog III integrates constraint programming with Prolog. It runs on
  81.    Apple Macintosh, DOS, Next, Sun3, Sparc, HP9000, Apollo, RS/6000,
  82.    DecStation and MicroVAX. For more information, write to PrologIA, Parc
  83.    Technologique de Luminy, Case 919, 13288 Marseilles, France, call
  84.    33-91-26-86-36 or fax 33-91-41-96-37.
  85.  
  86.    Quintus Prolog runs on Unix (Sparc, sun3, Vax, HP9000, Apollo, VAX,
  87.    Intergraph, Solbourne, RS/6000, and MIPS), DOS, Windows, and
  88.    Macintosh. For more information, contact Quintus Corporation, 2100
  89.    Geng Road, Palo Alto, CA 94303, call 415-813-3800, fax 415-494-7608, 
  90.    or email sales@quintus.com (sales), teksup@quintus.com (tech support).
  91.    To be added to the users group mailing list, send mail to
  92.    quintus-users-request@quintus.com. 
  93.  
  94. --mark
  95.