home *** CD-ROM | disk | FTP | other *** search
/ ftp.pasteur.org/FAQ/ / ftp-pasteur-org-FAQ.zip / FAQ / prolog / resource-guide / part2 < prev   
Encoding:
Internet Message Format  |  1997-08-14  |  89.6 KB

  1. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!news-out.internetmci.com!newsxfer3.itd.umich.edu!howland.erols.net!nntprelay.mathworks.com!news.maxwell.syr.edu!news.cis.ohio-state.edu!nntp.sei.cmu.edu!fs7.ece.cmu.edu!cantaloupe.srv.cs.cmu.edu!mkant
  2. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  3. Newsgroups: comp.lang.prolog,comp.object.logic,news.answers,comp.answers
  4. Subject: FAQ: Prolog Implementations 2/2 [Monthly posting]
  5. Supersedes: <PRG_2_868777228@CS.CMU.EDU>
  6. Followup-To: poster
  7. Date: 13 Aug 1997 07:26:02 GMT
  8. Organization: School of Computer Science, Carnegie Mellon University
  9. Lines: 1674
  10. Approved: news-answers-request@MIT.Edu
  11. Distribution: world
  12. Expires: 24 Sep 1997 07:00:20 GMT
  13. Message-ID: <PRG_2_871455620@CS.CMU.EDU>
  14. References: <PRG_1_871455620@CS.CMU.EDU>
  15. Reply-To: mkant+prg@cs.cmu.edu
  16. NNTP-Posting-Host: glinda.oz.cs.cmu.edu
  17. Xref: senator-bedfellow.mit.edu comp.lang.prolog:17757 comp.object.logic:1257 news.answers:109696 comp.answers:27570
  18.  
  19. Archive-name: prolog/resource-guide/part2
  20. Last-Modified: Thu Mar 13 12:13:00 1997 by Mark Kantrowitz
  21. Version: 1.35
  22. Maintainer: Mark Kantrowitz <mkant+prg@cs.cmu.edu>
  23. URL: http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
  24. Size: 91137 bytes, 1682 lines
  25.  
  26. ;;; ****************************************************************
  27. ;;; Prolog Resource Guide ******************************************
  28. ;;; ****************************************************************
  29. ;;; prg_2.faq
  30.  
  31. This is part two of the Prolog Resource Guide. This part lists
  32. available Prolog, logic programming, and constraint system
  33. implementations, both free and commercial.
  34.  
  35. Send suggestions and comments to: mkant+prolog-guide@cs.cmu.edu
  36.  
  37. Prolog Implementations (Part 2):
  38.   [2-0]  General information about Prolog Implementations
  39.  
  40.   [2-1]  Free Prolog Implementations
  41.   [2-2]  Commercial Prolog Implementations
  42.  
  43.   [2-3]  Free Parallel Prolog Implementations
  44.   [2-4]  Commercial Parallel Prolog Implementations
  45.  
  46.   [2-5]  Free Constraint Systems
  47.   [2-6]  Commercial Constraint Systems
  48.  
  49.   [2-7]  Free Logic Programming Systems
  50.   [2-8]  Commercial Logic Programming Systems
  51.  
  52.   [2-9]  Other Commercial Prolog Products
  53.  
  54.   [2-10] Prolog extensions, meta-interpreters, and pre-processors
  55.  
  56. Search for [#] to get to topic number # quickly. In newsreaders which
  57. support digests (such as rn), [CTRL]-G will page through the answers.
  58.  
  59. ----------------------------------------------------------------
  60. Subject: [2-0] General information about Prolog Implementations
  61.  
  62. When comparing free and commercial Prolog implementations, a rule of
  63. thumb is that commercial prolog implementations are often more robust
  64. and better supported than the public domain and free prolog
  65. implementations. Commercial Prolog implementations tend to have better
  66. debugging facilities. Many of the commercial Prolog vendors offer
  67. educational discounts to universities, and some of the commercial
  68. Prolog implementations are rather inexpensive. 
  69.  
  70. When considering a commercial Prolog implementation, be sure to ask
  71. for current pricing information. Although we try to keep this
  72. information up to date, there is no guarantee that it hasn't changed
  73. in the interim. If you find that the information has changed, please
  74. ask the vendor to send us current information.
  75.  
  76. Some research institutions make their Prolog implementations available
  77. for a fee. We have included those implementations in the lists of
  78. commercial Prolog implementations.
  79.  
  80. The Prolog Management Group may be contacted by email via the Secretary,
  81. at <info@pap.com>.
  82.  
  83. Remember when ftping compressed or compacted files (.Z, .arc, .fit,
  84. .zip, .z, etc.) to use binary mode for retrieving the files.
  85.  
  86. Files that end with a .z suffix were compressed with the patent-free
  87. gzip (no relation to zip). Source for gzip is available from:
  88.    prep.ai.mit.edu:/pub/gnu/
  89. as the files gzip-1.2.3.shar, gzip-1.2.3.tar,or gzip-1.2.3.msdos.exe.
  90.  
  91. ----------------------------------------------------------------
  92. Subject: [2-1] Free Prolog Implementations
  93.  
  94. The following list of free Prolog and logic programming implementations
  95. excludes those listed in the comp.lang.lisp and comp.lang.scheme FAQs
  96. (i.e., Prolog interpreters written in Lisp and Scheme).
  97.  
  98. Most of these Prolog implementations are available from the CMU AI
  99. Repository, in the directory
  100.    ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/
  101.  
  102.  
  103. A.D.A. Public Domain Prolog:
  104.    aisun1.ai.uga.edu:ai.prolog/adapdpro.zip
  105.  
  106.    A rather slow implementation of Prolog for MS-DOS systems, originally
  107.    a product of Automata Design Associates (now defunct), 1570
  108.    Arran Way, Dresker, PA 19025, 215-335-5400. 
  109.  
  110. Aquarius Prolog:
  111.    Aquarius Prolog is a high-performance, portable Prolog implementation
  112.    developed since 1989 by the Aquarius Project at UC/Berkeley, the Advanced
  113.    Computer Architecture Laboratory (ACAL) at the University of Southern
  114.    California (USC), and at Digital Equipment Corporation's Paris Research
  115.    Laboratory. The developers are Tom Getzinger, Ralph Clarke Haygood, and
  116.    Peter Van Roy. Aquarius Prolog includes:
  117.  
  118.       - A compiler with global analysis.  The compiler is built around the
  119.         Berkeley Abstract Machine (BAM) execution model for Prolog. BAM
  120.         retains desirable features of the Warren Abstract Machine (WAM),
  121.         but allows for significant further optimizations and is easier to
  122.         map onto actual general-purpose machines.
  123.  
  124.       - A back-end that maps the BAM onto various actual general-purpose
  125.         machines, including MIPS R3000 (DEC Ultrix and MIPS RISC/os),
  126.         SPARC (SunOS), HP 9000 300/400 with MC68020, MC68030 or MC68040
  127.         processors (HP-UX), and Sun3 (SunOS).
  128.  
  129.       - A run-time system offering substantially the same built-in 
  130.         predicates and memory management as Quintus Prolog, with additions 
  131.         such as two kinds of destructive assignment.  Most of the built-in 
  132.         predicates are written in Prolog, with little or no performance 
  133.         penalty.
  134.  
  135.    Aquarius Prolog also includes an interpreter and documentation.
  136.    Aquarius Prolog comes in two distributions, Enduser and Full. The
  137.    latter includes full source code and implementation notes.
  138.  
  139.    Aquarius Prolog may be obtained free of charge from USC, after signing 
  140.    and returning a license agreement. To get the license agreement, send a
  141.    message to listserv@acal-server.usc.edu with 
  142.       get aquarius-info license
  143.    in the message body. To get more information about the Full and
  144.    Enduser distributions, send the listserver a message containing
  145.    one or both of the two lines: 
  146.            get aquarius-info readme-full
  147.            get aquarius-info readme-enduser
  148.    To subscribe to the aquarius-prolog mailing list, send the listserver a
  149.    message with body: 
  150.            subscribe aquarius-prolog <Your real name here>
  151.    To get more information about the abilities of the listserver, send it a
  152.    message with 'help' in the body.
  153.  
  154.    For further information, write to University of Southern California,
  155.    Advanced Computer Architecture Laboratory (ACAL), Attn: Aquarius Prolog
  156.    Licensing, 3740 S. McClintock, Suite 131, Los Angeles, CA 90089-2561, or
  157.    send email to aquarius@acal-server.usc.edu.
  158.  
  159. Beta-Prolog (version 1.2):
  160.  
  161.    Beta-Prolog is a fast and portable Prolog implementation. It consists 
  162.    of an emulator of the NTOAM (matching Tree Oriented Abstract Machine)
  163.    written in C, a compiler written in Prolog that translates Prolog
  164.    programs into NTOAM instructions, and a library of built-in
  165.    predicates. 
  166.  
  167.    Beta-Prolog has the following features:
  168.  
  169.       1. It is one of the fastest emulator-based Prolog implementations.
  170.      The NTOAM inherits many good features of the WAM, but differs from
  171.      WAM-based systems in that predicate arguments are passed directly
  172.      in stack frames and only one frame is used for each predicate. For
  173.      many programs written for WAM-based systems, Beta-Prolog is faster
  174.      than emulator-based SICStus Prolog 2.1. Further speed-ups can be
  175.      achieved if these programs are rewritten into a style suitable for
  176.      Beta-Prolog by taking the NTOAM's argument passing scheme into
  177.      account.
  178.  
  179.       2. Besides Edinburgh style clauses, Beta-Prolog also accepts
  180.      matching clauses in which input and output unifications are
  181.      separated, and determinism is denoted explicitly. The compiler is
  182.      able to translate predicates in this form into matching trees and
  183.      index them using all input arguments. The compiler can compile
  184.      quite large programs in a short time because it consists of only
  185.      matching clauses.
  186.    
  187.       3. It provides an interactive interface through which the
  188.          programmers can consult, compile, load, debug and run programs.
  189.    
  190.       4. It provides an interface through which C functions can be
  191.          called from Prolog. 
  192.  
  193.       5. It provides a special data structure called state tables that
  194.      can be used to represent graphs, simple and complex domains in
  195.      constraint satisfaction problems, and situations in various
  196.      combinatorial search problems.
  197.  
  198.       6. It includes a finite-domain constraint solver with which 
  199.          constraint satisfaction problems can be specified declaratively. 
  200.  
  201.    Beta-Prolog is available by anonymous ftp from
  202.       ftp.kyutech.ac.jp:/pub/Language/prolog/ [131.206.1.101]
  203.    or from the CMU AI Repository in
  204.       ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/prolog/beta_pl/
  205.    The system can be installed without difficulty on any machine that
  206.    runs Unix and the cc (or gcc) C compiler. Beta-Prolog was developed by
  207.    Neng-Fa Zhou, <zhou@mse.kyutech.ac.jp>, Faculty of Computer Science
  208.    and Systems Engineering, Kyushu Institute of Technology, 680-4 Kawazu,
  209.    Iizuka, Fukuoka 820, Japan, phone 81-948-29-7774, fax 81-948-29-7760.
  210.    For more information, send mail to betaprolog@cad.mse.kyutech.ac.jp.
  211.    
  212. BinProlog:
  213.    clement.info.umoncton.ca:/BinProlog3.0.tar.gz [139.103.16.2]
  214.    ftp.elis.rug.ac.be:/pub/BinProlog/        [157.193.67.1]
  215.  
  216.    BinProlog replaces the WAM by a more compact continuation passing logic
  217.    engine based on a mapping of full Prolog to binary logic programs.  It
  218.    includes an interface Tcl/Tk. Version 2.20 runs on Sparc, DEC Alpha,
  219.    MIPS (SGI, DEC) 68k (NeXT, Sun3), R6000 (IBM), PA-RISC (HP) and IBM PC
  220.    (386/486). The compiler makes 528 KLIPS on a Sparc 10-40 (101 KLIPS on a
  221.    NeXT) and still uses a very small (49K under Solaris 2.1) emulator,
  222.    making it among the fastest freely available C-emulated Prologs (3-5
  223.    times faster than C-Prolog, 2-3 times faster than SWI-Prolog, 1.5-2
  224.    times faster than (X)SB-prolog and close to C-emulated Sicstus 2.1.).
  225.    Comments and bug reports should be sent to Paul Tarau
  226.    <binprolog@info.umoncton.ca>.
  227.  
  228.    BinProlog is free for reasearch and other non-profit purposes.  Use in
  229.    industrial applications, licensing of C-sources, porting to other
  230.    platforms, BinProlog related support and consulting are available but
  231.    need a separate agreement. BinProlog's very small code-size and high
  232.    performances make it suitable to be integrated in industrial
  233.    C-applications that need the services of an embedded logic
  234.    programming engine. 
  235.  
  236. Boizumault Prolog:
  237.    The various Prolog interpreters described in Patrice Boizumault's
  238.    book, "The Implementation of Prolog", are available by anonymous
  239.    ftp from
  240.       cnam.cnam.fr:/pub/Boizumault/
  241.    or from the CMU AI Repository in
  242.       ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/prolog/boiz_pl/
  243.    The three interpreters, corresponding to appendices A through D of
  244.    the book, are written in Common Lisp. Examples which run in all the
  245.    interpreters include cryptarithms, Eliza, Sieve of Eratosthenes,
  246.    Factorial, N-Queens, and Quicksort. For more information, write to 
  247.    Patrice Boizumault <boizu@math-appli-uco.fr>.
  248.  
  249. Common ESP:
  250.    CESP (Common Extended Self-contained Prolog) is an object-oriented
  251.    system by the AI Language Research Institute, Kamakura, Japan. The
  252.    binary is free for R & D use only -- send 1/4in CMT Sun3 and Sun4
  253.    (Sparc) with Sun OS R4.0.3, R4.1 or R4.1.1. For more information,
  254.    write to AI Language Research Institute Ltd, Yoshitoku Bldg, Shiba
  255.    3-15-14, Minato-Ku, Tokyo 105, Japan, fax +81 3 3456 4418, or send
  256.    email to k-hata@air.co.jp or matsuura@air.co.jp.
  257.  
  258. cu-Prolog: See [2-5].
  259.  
  260. ECLiPSe (ECRC Logic Programming System) combines the functionalities
  261. of several ECRC systems, including SEPIA (an Edinburgh-style
  262. extensible Prolog system based on a WAM compiler), MegaLog (a database
  263. system) and CHIP (a constraint logic programming system).  ECLiPSe
  264. includes a Prolog compiler with extended functionality that is Quintus
  265. and SICStus compatible, a tightly connected database system based on
  266. the BANG file system, a CLP system, and an interface to the Tcl/Tk X11
  267. toolkit. The BANG database can store not only relations, but also any
  268. Prolog structures and programs. The CLP system contains several
  269. libraries with various types of constraint handling schemes, including
  270. atomic finite domains, linear rational constraints, CHR (constraint
  271. handling rules) and Propia (generalised propagation).  It also
  272. supports writing further extensions like new user-defined constraints
  273. or complete new constraint solvers.  ECLiPSe also includes a profiler,
  274. user-definable syntax, metaterms as first-class citizens, coroutining,
  275. a high-level debugger (OPIUM), a partial evaluation system (PADDY),
  276. and unlimited precision integer and rational numbers. ECLiPSe is
  277. available for a nominal fee of DM 300 (~$200) to all academic and
  278. government-sponsored organizations. It is distributed in binary form
  279. for Sun-3 and Sparc machines. Send orders or requests for further
  280. information to eclipse_request@ecrc.de or write to ECRC,
  281. Arabellastrasse 17, 81925 Munich, Germany. The ECLiPSe documentation
  282. (ASCII and dvi) and some shareware packages ported to ECliPSe are now
  283. available by anonymous ftp from
  284.    ecrc.de:/pub/eclipse
  285. To subscribe to the eclipse_users@ecrc.de mailing list, send mail to  
  286. eclipse_request@ecrc.de. The tech support email address is
  287. eclipse_bugs@ecrc.de. 
  288.  
  289. eLP (Ergo Lambda Prolog) is an interpreter written by Conal Elliott,
  290. Frank Pfenning and Dale Miller in Common Lisp and implements the core
  291. of lambda Prolog (higher-order hereditary Harrop formulas). It is
  292. embedded in a larger development environment called ESS (the Ergo
  293. Support System).  eLP implements all core language feature and offers
  294. a module system, I/O, some facilities for tracing, error handling,
  295. arithmetic, recursive top-levels, on-line documentation and a number
  296. of extended examples, including many programs from Amy Felty's and
  297. John Hannan's thesis.  It should run in Allegro Common Lisp, Lucid
  298. Common Lisp, Kyoto Common Lisp, CMU Common Lisp and Ibuki Common Lisp.
  299. The eLP implementation of lambda Prolog is no longer developed or
  300. maintained, but it is still available via anonymous ftp from
  301. ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/ergo/export/ess/. The file
  302. ergolisp.tar.Z contains the Ergo project's extensions to Common Lisp,
  303. including some facilities for attributes and dealing with abstract
  304. syntax trees. The file sb.tar.Z contains the Ergo
  305. Parser/Unparser/Formatter generator and ab.tar.Z contains the Ergo
  306. Attribute Grammar facility. The file elp.tar.Z contains the Ergo
  307. implementation of lambda Prolog.  To customize grammars you need the
  308. sb.tar.Z file.  When you retrieve the system, please print, fill out,
  309. and send in a copy of the non-restrictive license you will find in the
  310. file LICENSE. To subscribe to the elp@cs.cmu.edu mailing list, send
  311. mail to elp-request@cs.cmu.edu. Bugs should be sent to
  312. elp-bugs@cs.cmu.edu.
  313.  
  314. ESL Prolog-2 (PD Version):
  315.    ai.uga.edu:ai.prolog/eslpdpro.zip [128.192.12.9]
  316.  
  317.    A prolog for MS-DOS systems with good performance. It deviates
  318.    slightly from Edinburgh standard (strings "like this" are not lists
  319.    of ASCII codes), but you can add a declaration that makes it fully 
  320.    Edinburgh-compatible. (Add the line
  321.         :- state(token_class,_,dec10).
  322.    at the beginning of the program.) It is a more limited version
  323.    of the interpreter from the Commercial Version (see [2-2] below).
  324.    [Please note that ESL Prolog is NOT a UGA product, they just run
  325.    the machine on which a copy is made available. Anyone with
  326.    questions should contact ESL in Oxford, England (see [2-2] below).
  327.    The commercial version of ESL Prolog-2 has been sold to ESI.]
  328.  
  329.    Documentation is available as a 2-volume set published by Ablex
  330.    (type "prolog2" for info). ESL Prolog is also discussed
  331.    extensively in Tony Dodd's book "Prolog: A Logical Approach,"
  332.    Oxford University Press. 
  333.  
  334. GOEDEL is intended to be a declarative successor to Prolog.  The main
  335. design aim of Goedel is to have functionality and expressiveness
  336. similar to Prolog, but to have greatly improved declarative semantics
  337. compared with Prolog.  This improved declarative semantics has
  338. substantial benefits for program construction, verification,
  339. debugging, transformation, and so on. Considerable emphasis is placed
  340. on Goedel's meta-logical facilities, since this is where Prolog is
  341. most deficient.  In particular, Goedel has declarative replacements
  342. for Prolog's var, nonvar, assert, and retract.  Goedel is a strongly
  343. typed language, its type system being based on many-sorted logic with
  344. parametric polymorphism. It has a module system, and supports floating
  345. point numbers and infinite precision integers and rationals. It can
  346. solve constraints over finite domains of integers and also linear
  347. rational constraints. It supports processing of finite sets.  It also
  348. has a flexible computation rule and a pruning operator which
  349. generalises the commit of the concurrent logic programming languages.
  350. The release includes the Goedel system, the SAGE partial evaluator for
  351. Goedel, a user manual, and 50 example programs.  Goedel must be
  352. compiled in SICStus Prolog 2.1 #6 or later; Sparc and Linux
  353. executables are included in the distribution.  Goedel is available by
  354. anonymous ftp from 
  355.    ftp.cs.kuleuven.ac.be:/pub/logic-prgm/goedel/ [134.58.41.2] 
  356.    ftp.cs.bris.ac.uk:/goedel [137.222.102.102]
  357. For more information, write to goedel@compsci.bristol.ac.uk. Please
  358. send an email message to this address (with your name, institution and
  359. address) to this address when you obtain the system. To subscribe to
  360. the goedel-users@compsci.bristol.ac.uk mailing list, send mail to
  361.   goedel-users-request@compsci.bristol.ac.uk
  362. indicating that you wish to join the Goedel discussion group.
  363. A book describing the language is now available from MIT Press:
  364.    Patricia Hill and John Lloyd, "The Godel Programming Language",
  365.    MIT Press, Cambridge, MA, 1994. ISBN 0-262-08229-2 ($45.00).
  366.  
  367. IC-Prolog II:
  368.    src.doc.ic.ac.uk:/computing/programming/languages/prolog/icprolog/.
  369.    The emulator is available at present only in Sun-4 binary form.
  370.    Source code may be released later in the year when project
  371.    finishes. 
  372.  
  373.    Produced by Imperial College, IC-Prolog II is a multi-threaded
  374.    Prolog system.  It includes a Parlog sub-system, an interface to
  375.    TCP primitives and "mailboxes", a high level communication
  376.    system.  These enable distributed applications (such as
  377.    client/server systems) to be written using logic programming.
  378.    The distribution also includes a simple expert system shell and
  379.    the preprocessor for the Prolog language extension L&O from the
  380.    book "Logic & Objects" by Frank McCabe.  (The sources for the
  381.    L&O extension is also available to LPA MacProlog users in the
  382.    subdirectory 'lo'.)
  383.  
  384.    See "I.C. Prolog II : a Multi-threaded Prolog System" by Damian
  385.    Chu and Keith Clark and also "IC Prolog II: a Language for
  386.    Implementing Multi-Agent Systems" by Damian Chu.  Postscript
  387.    copies of these two papers may be found in the subdirectory
  388.    'papers'.
  389.  
  390.    Standalone versions of the Parlog system for Sun-3 and Sun-4
  391.    can also be found in this directory.
  392.  
  393.    Contact Damian Chu <dac@doc.ic.ac.uk> for questions about IC
  394.    Prolog II, and contact Zacharias Bobolakis <zb@doc.ic.ac.uk> for
  395.    information about L&O.
  396.  
  397. JB-Prolog 2.1.2 is a slim and powerfull prolog for the MacIntosh. Its key
  398. features are: Arbitrary long integers, fast interpreter only, source
  399. line debugger, user interface toolkit, persistent objects. It is
  400. available from the CMU AI repository as 
  401.  ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/prolog/jbprolog/JBprolog2.1.2.sit.hqx
  402. For more information contact Jan Burse, jburse@clients.switch.ch,
  403. XLOG, Scheuchzerstr. 67, 8006 Zrich, Switzerland.
  404.  
  405. PIE2 is a Prolog interpreter for DOS. It is available on CompuServe in
  406. the AIEXPERT forum. PIE2.zip contains the interpreter and examples, and
  407. PIEDOC.ZIP contains the documentation. Written by Brent Ruggles
  408. <ruggles@shell.com>. 
  409.  
  410. Prolog-68 is a free WAM-based Prolog system running on Atari ST and TT
  411. computers. Not yet finished (no floating point, some missing
  412. built-ins). Contact Jens Kilian <jensk@hpbbn.bbn.hp.com> for
  413. information. Available by anonymous ftp from
  414.    ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/prolog/prolog68/
  415. as a ZOO archive.
  416.  
  417. Prolog/Mali is a compiler for the higher-order language Lambda-Prolog.
  418. Lambda-Prolog is an extension of Prolog defined by Miller (Miller,
  419. D.A., and Nadathur, G., "Higher-order logic programming", 3rd
  420. International Conference on Logic Programming, pages 448-462, London
  421. 1986). It is an extension of Prolog where terms are simply typed
  422. lambda terms and clauses are higher order hereditary Harrop formulas.
  423. The main novelties are universal quantification on goals and
  424. implication.  Prolog/Mali is a complete system which includes a C
  425. translator, a linker, libraries, runtime, and documentation, and runs
  426. on UNIX.  It requires the MALI-V06 abstract memory package.
  427. Prolog/Mali is available by anonymous ftp from ftp.irisa.fr:/local/pm/.
  428. Written by Pascal Brisset <pbrisset@eis.enac.dgac.fr> (or <brisset@ecrc.de>)
  429. and Olivier Ridoux (ridoux@irisa.fr). To be added to the mailing list,
  430. send mail to prolog-mali-request@irisa.fr. For more information, send
  431. mail to pm@irisa.fr.
  432.  
  433. LIFE (Logic, Inheritance, Functions, and Equations) is an experimental
  434. programming language with a powerful facility for structured type
  435. inheritance. It reconciles styles from functional programming, logic
  436. programming, and object-oriented programming. It subsumes the
  437. functionality of its precursor languages LOGIN and Le_Fun, and may be
  438. seen as an extension of Prolog. The syntax of Wild_LIFE has been kept
  439. as close as possible to that of the Edinburgh standard for Prolog.
  440. LIFE offers natively high-level abstraction facilities and convenient
  441. data and control structures particularly well-suited for AI
  442. programming. LIFE implements a constraint logic programming language
  443. with equality (unification) and entailment (matching) constraints over
  444. order-sorted feature terms. The interplay of unification and matching
  445. provides an implicit coroutining facility thanks to an automatic
  446. suspension mechanism. This allows interleaving interpretation of
  447. relational and functional expressions which specify structural
  448. dependencies on objects. The Wild_LIFE interpreter is the first
  449. implementation of the LIFE language available to the general public.
  450. It is a product of Digital Equipment Corporation's Paris Research
  451. Laboratory (DEC PRL). Wild_LIFE runs on MIPS/Ultrix (DECstations),
  452. Alpha/OSF-1, SPARC/SunOS, RS/6000, and SGI machines, and should 
  453. be portable to other Unix workstations. It is implemented in C,
  454. and includes an interface to X Windows. Wild_LIFE is available
  455. by anonymous ftp from gatekeeper.dec.com:/pub/plan as the file
  456. Life1.0.tar.Z. To be added to the mailing list (life-users@cs.sfu.ca),
  457. send mail to life-users-request@cs.sfu.ca. Send bug reports to
  458. life-bugs@cs.sfu.ca. 
  459.  
  460. Open Prolog: 
  461.    Open Prolog (OP) is a Prolog interpreter for the Apple Macintosh.
  462.  
  463.    It follows the so-called 'Edinburgh' syntax and supports most standard
  464.    Prolog features, including Definite Clause Grammars.
  465.    Extra predicates can be added via drop-in external predicates, similar to
  466.    Hypercard's XCMDs.
  467.  
  468.    OP will work in any Macintosh from a Macintosh Plus, and runs in
  469.    emulated mode on Power Macs.
  470.  
  471.    The most recent version of Open Prolog is available by anonymous ftp
  472.    from its home site:
  473.       ftp.cs.tcd.ie:/languages/open-prolog/ [134.226.32.15] 
  474.    It is also available from other sites, such as:
  475.       sumex-aim.stanford.edu:/info-mac/
  476.       mac.archive.umich.edu [141.211.165.41].
  477.  
  478.    For more information, write to Michael Brady, Computer Science
  479.    Department, Trinity College, Dublin 2, IRELAND, send email to
  480.    brady@cs.tcd.ie, call +353 1 6081786, or fax +353 1 6772204.
  481.  
  482. PD Prolog 19: 
  483.    wuarchive.wustl.edu:/mirrors/msdos/prolog/prolog19.arc (IBM PC)
  484.    aisun1.ai.uga.edu (128.192.12.9)
  485.  
  486. Portable Prolog System is an interpreter from the University of York.
  487. Runs on any system having a Pascal compiler. For more information,
  488. write to University of York, Software Distribution Officer, Department
  489. of Computer Science, University of York, York, YO1 5DD, UK, call +44
  490. (904) 59861, or fax +44 (904) 433744.
  491.  
  492. Qu-Prolog 3.2 and Ergo 4.0:
  493.  
  494.    Qu-Prolog is a high-level language designed primarily for rapid
  495.    prototyping of interactive theorem provers and, more generally, for
  496.    symbolic computation on formal languages.  Its object level includes
  497.    quantified terms and object variables.  As an example, the interactive
  498.    theorem prover Ergo 4.0 is implemented in Qu-Prolog.  The compactness
  499.    and high level of Ergo 4.0 source code demonstrate the advantages of
  500.    Qu-Prolog for such applications. Ergo includes a 'window inference'
  501.    method that is specifically designed to support hierarchical
  502.    goal-directed proofs and allow easy access to the context of a
  503.    subterm. Ergo also provides support for defining a variety of logics
  504.    and support for proving schematic theorems and answer extraction.
  505.    Ergo is being used to support the development of verified software.
  506.    The system has been tested only on a Sun4.
  507.    Qu-Prolog and Ergo are available by anonymous ftp from 
  508.       ftp.cs.uq.oz.au:/pub/SVRC/
  509.    as software/qp.tar.Z and software/Ergo.tar. The tech report
  510.    techreports/tr93-18.ps.Z describes Qu-Prolog in detail. Send comments
  511.    to Peter Robinson <pjr@cs.uq.oz.au>.
  512.  
  513. SB-Prolog:
  514.    cs.arizona.edu:/sbprolog
  515.    sbcs.sunysb.edu:/pub/sbprolog
  516.  
  517.    Stony Brook Prolog runs on Sun4, Pyramid-98x, DEC3100, SGI Iris,
  518.    Amiga, and MS-DOS machines. Contact warren@sbcs.sunysb.edu for more
  519.    information. Two versions are available: version 2.5 is an
  520.    interpreter for Amigas and version 3.1 is an interpreter and compiler
  521.    for Unix and MSDOS/386.
  522.  
  523.    SB-Hilog runs in SB-Prolog and Quintus Prolog and is available on
  524.       sbcs.sunysb.edu:/pub/hilog/
  525.  
  526.    src.doc.ic.ac.uk [146.169.2.10] contains SBProlog 3.1 executables for
  527.    MS-DOS/386 in /computing/programming/languages/prolog/sbprolog,
  528.    filename sbpmsdos.zip. 
  529.  
  530.    nic.funet.fi contains SBProlog executables for Amiga in
  531.    /pub/amiga/fish/disks100-199/ff140. 
  532.  
  533.    Modular SB-Prolog (= SB-Prolog version 3.1 plus modules) is available
  534.    by anonymous FTP from 
  535.       ftp.dcs.ed.ac.uk:/pub/dts/mod-prolog.tar.Z [129.215.160.5]
  536.    Includes interpreter for SPARC. For more information, write to
  537.    Brian Paxton <mprolog@dcs.ed.ac.uk>. 
  538.  
  539.    [NOTE: SB-Prolog is superseded by XSB (see below) and hence is
  540.     no longer supported by Stony Brook or the University of Arizona.
  541.     The only reason to continue using SB-Prolog is for DOS, since
  542.     XSB does not run under DOS and there are currently no plans to
  543.     port it to DOS.]
  544.  
  545. SLG:
  546.    The SLG system is a meta interpreter implementation of 
  547.    goal-oriented deductive query processing and non-monotonic 
  548.    reasoning with the following features:
  549.        * goal-oriented query evaluation of normal logic programs 
  550.          under the well-founded semantics by Van Gelder, Ross 
  551.          and Schliph;
  552.        * goal-oriented query evaluation of general logic programs 
  553.          under the alternating fixpoint logic by Van Gelder, with 
  554.          the restriction that the body of a clause has to be either
  555.          an existential conjunction of literals or a universal 
  556.          disjunction of literals.
  557.        * goal-oriented query evaluation under the stable model semantics
  558.          by Gelfond and Lifchitz.
  559.        * integration with Prolog execution, and the use of Prolog syntax 
  560.          for all programs.
  561.    The SLG system is freely available by anonymous ftp from Southern
  562.    Methodist University or SUNY at Stony Brook 
  563.       seas.smu.edu:/pub/                 [129.119.3.2]
  564.       sbcs.sunysb.edu:/pub/XSB/          [130.245.1.15]
  565.    as the file slg.tar.gz. Comments, requests, and bug reports should 
  566.    be sent to Weidong Chen, <wchen@seas.smu.edu>, Computer Science and 
  567.    Engineering, Southern Methodist University, Dallas, Texas 75275-0122, 
  568.    phone 214-768-3097, or David Scott Warren, <warren@cs.sunysb.edu>, 
  569.    Department of Computer Science, SUNY at Stony Brook, Stony Brook, 
  570.    NY 11794-4400, phone 516-632-8454.
  571.  
  572. SWI Prolog:
  573.     swi.psy.uva.nl:/pub/SWI-Prolog/  [145.18.114.17] (Main source)
  574.     Files:  pl-x.y.z.tar.gz (source, currently 2.8.0)
  575.             w32plxyz.exe    (self-installing Windows 95/NT version)
  576.         refman/        (preformatted reference manual)
  577.         HTMLman/        (HTML version of the manual)
  578.     WWW:    http://swi.psy.uva.nl/usr/jan/SWI-Prolog.html (home)
  579.             http://www.swi.psy.uva.nl/usr/jan/SWI-Prolog/Manual/Title.html (man)
  580.     List:   prolog@swi.psy.uva.nl, subscribe to prolog-request@swi.psy.uva.nl
  581.     Author: Jan Wielemaker, jan@swi.psy.uva.nl.
  582.  
  583.     Features: Complete, including module system, 2-way C-interface,
  584.     garbage collector (transparent to C-code), runtime generation,
  585.     auto-loading, do-what-i-mean and a very fast compiler.  Edinburgh
  586.     compatible with lots of ISO and Quintus compatible extensions.
  587.  
  588.     GUI (Portable X11 and Windows) using XPCE (in part 1 of the Prolog
  589.     Resource Guide).  GUI Prolog development environment is under
  590.     development.  Contact prolog-request@swi.psy.uva.nl.
  591.  
  592.     Platforms: Unix (SunOs, Solaris, Linux, IRIX, HPUX, AIX, OSF/1
  593.     on the DEC/Alpha and many more) Win32 (Windows 95 and NT, may
  594.     be recompiled using MSVC 4.1 for Windows 3.1 under Win32s).
  595.  
  596.     Free for non-commercial use.  Licenses available for commercial
  597.     use (contact prolog-request@swi.psy.uva.nl).
  598.  
  599. Toy Prolog is an interpreter written in Pascal. About 3500 lines of
  600. source. Free with "Prolog for Programmers" by Kluzniak and Szpakowicz
  601. (Academic Press 1985). The Atari ST version is no longer supported.
  602.  
  603. TPM (Transparent Prolog Machine) is a demo version of LPA MacProlog
  604. with the TPM debugger included. Runs on Apple Macintosh. It is
  605. available by anonymous FTP from hcrl.open.ac.uk:/pub/software/.
  606.  
  607. Tricia is a free Prolog high-level emulator with interpreter available
  608. by email from Uppsala University. Tricia currently runs on the Apple
  609. Macintosh. It used to run on Sun3, Sun4, Apollo DN-3500/4500/5500 (OS
  610. version 10.*) and HP-730's, but support for those platforms has been
  611. discontinued. For more information, write to Uppsala University,
  612. Tricia project, Computing Science Department, Box 311, S-751 05
  613. UPPSALA, Sweden, fax +46 18 511925, or email to
  614. tricia-request@csd.uu.se. It is available by anonymous ftp from
  615.    ftp.csd.uu.se:/pub/Tricia/
  616. A copy is also available in the directory
  617.    /afs/umich.edu/group/itd/archive/mac/development/languages
  618. if your site runs the Andrew File System, or by anonymous ftp from
  619. mac.archive.umich.edu.
  620.  
  621. WAMCC 2.2 is a WAM-based Prolog to C compiler.  It conforms more or
  622. less to the Edinburgh standard, and includes most of the usual
  623. built-in predicates, a top-level, a Prolog debugger and a WAM
  624. debugger. WAMCC is designed to be easily extended (see clp(FD) in
  625. [2-5], for example). WAMCC's speed is halfway between SICStus emulated
  626. and SICStus native code on a Sparc (1.5 times faster and 1.5 times
  627. slower, respectively). WAMCC requires GCC 2.4.5 or higher and has been
  628. tested on Sparc workstations. It should be easily ported to 32-bit
  629. machines with GCC. WAMCC is available free by anonymous ftp from
  630.    ftp.inria.fr:/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc/
  631. For more information, write to Daniel Diaz <Daniel.Diaz@inria.fr>,
  632. INRIA Rocquencourt, FRANCE.
  633.  
  634. XSB is a Prolog-based Logic Programming System that extends the
  635. standard functionality of Prolog with an implementation of OLDT
  636. (tabling) and HiLog terms. It is a descendent of PSB-Prolog and
  637. SB-Prolog. OLDT resolution is useful for recursive query computation,
  638. allowing programs to terminate correctly in many cases where Prolog
  639. does not. HiLog supports a type of higher-order programming in which
  640. predicate symbols can be variable or structured.  This allows
  641. unification to be performed on the predicate symbols themselves in
  642. addition to the arguments of the predicates. XSB includes an
  643. optimizing compiler, C interface, a module system, list processing
  644. libraries, and dynamic loading.  XSB is a descendant of SB-Prolog.
  645. XSB runs on Sun3, Sun4, 386/486 PCs (Linux and 386 BSD), SGI machines
  646. (IRIX), HP 300/400 series (HP-UX) and NeXT, and can be compiled using
  647. either the GNU C compiler or the Sun C compiler. Porting XSB to any
  648. 32-bit machine running Unix should be straightforward.  THIS IS A BETA
  649. RELEASE. XSB is available by anonymous ftp from
  650.    sbcs.sunysb.edu:/pub/XSB/XSB.tar.Z [130.245.1.15]
  651. For more information, write to XSB Research Group, Computer Science
  652. Department, SUNY at Stony Brook, Stony Brook, NY 11794, or send email to
  653. xsb-contact@cs.sunysb.edu.
  654.  
  655. See also BeBOP and NCL in [2-3].
  656.  
  657. ----------------------------------------------------------------
  658. Subject: [2-2] Commercial Prolog Implementations
  659.  
  660. AAIS Full Control Prolog (version 3.1.3) is an Edinburgh-standard
  661. compiler and interpreter that runs on all Apple 680x0 Macintosh computers
  662. (from Plus through Quadras and Powerbooks). It runs under System 6
  663. and 7 (or A/UX 3.0), requiring 4mb RAM, and is 32-bit clean.  It
  664. is built on an object-oriented kernel, includes many object-oriented 
  665. extensions to the language, functions for constructing graphical user 
  666. interfaces, direct program access to the printer for printing text or 
  667. graphics, and full support for Apple Events. There are also numerous 
  668. example programs, including source code for the AAIS Full Control 
  669. Prolog's own standard development interface, and how to interface with
  670. Oracle databases and FileMaker Pro databses.  AAIS Full Control Prolog 
  671. costs $495. For an additional $199 (and a signed license), you can get a
  672. copy of AAIS Prolog Program Creator, an application generator/runtime
  673. distribution system that turns Prolog programs into Macintosh
  674. applications. For more information, write to Advanced AI Systems,
  675. Inc., PO Box 39-0360, Mountain View, CA 94039-0360, call 415-948-8658,
  676. fax 415-948-2486, or email AAISProlog@aol.com. Earlier version (2.0) 
  677. reviewed in AI Expert, Feburary 1991.
  678.    [NOTE: Douglas Lanam, President of Advanced AI Systems, Inc.,
  679.    announced on April 1, 1994, that he would be ceasing all future
  680.    development of the product due to economic and personal reasons. The
  681.    remaining stock of AAIS Full Control Prolog and the Program Creator is
  682.    being offered on an as-is basis with no return for $99 a copy. You
  683.    can order copies by phone using your credit card.
  684.    Technical support through phone, mail, and email is continuing, but
  685.    they cannot return phone calls or faxes outside North America, so
  686.    those replies would be sent by email or snail mail.]
  687.  
  688. AIAI Edinburgh Prolog is a high level prolog emulator that runs on
  689. Acorn R140 (RISC iX), DG AViiON (DG/VX 4.1), Vax (Berkeley Unix, VMS),
  690. Gould Encore (Unix), HP 9000/300 (HP-UX), MIPS RISC (RiscOS), Sequent
  691. (DYNIX V3), Sun 2,3,4 (SunOS-3,4). For more information, write to
  692. AIAI, AI Applications Institute, Software Secretary, University of
  693. Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, UK, call +44 (31) 650
  694. 2734, fax +44 (31) 226 2730, or send email to AIAI@ed.ac.uk.
  695.  
  696. ALS Prolog - Workstation is a common version running on nearly all
  697. Unix machines (Sun 4.1.3 & Solaris; HP 9000/7xx/8xx; IBM PowerPC AIX;
  698. SGI IRIX; NeXT; DG AViiON), on DOS and DesqView/X (PCs with 80386 -
  699. Pentium), and on Macintosh (PowerMac and M680x0).  Common price: $800
  700. US ($880 outside US), with a 40% academic discount.  Provides a
  701. superset of Edinburgh Prolog.  Includes OOP, C interface (including
  702. embedding Prolog in C programs), Window systems interfaces (X
  703. Windows/Motif; NextStep; MacToolbox).  Student editions $59: Mac -
  704. with interface; DOS - TTY (all PCs with DOS from 8088-Pentium; MS
  705. Windows in a DOS window).  Available from Applied Logic Systems, Inc.,
  706. PO Box 180, Newton Centre, MA 02159, phone 617-965-9191, fax
  707. 617-965-1636. Email: info@als.com.  Send a message to info@als.com
  708. with subject line "HELP" to get a general information file in reply.
  709. The URL for the WWW site is
  710.    http://www.als.com/
  711. and the anonymous FTP site is ftp.als.com.
  712.  
  713. Amzi! Prolog + Logic Server 3.3 (formerly Cogent Prolog) is an Edinburgh-
  714. standard development system and Logic Server API for embedding Prolog
  715. modules in C/C++, Visual Basic, Delphi, Access and other Windows 3.x, 95,
  716. NT 3.5x, DOS and 32-bit DOS tools.  Amzi! Prolog can also be extended with
  717. your own predicates in C/C++ and Delphi.  Professional, Personal and Student
  718. Editions, $79-$598.  No royalties.  Also available is an interactive tutorial,
  719. the Active Prolog Tutor ($75) and a tutorial with source code prototypes for
  720. expert systems shells including:  forward/backward chaining, frames, rete-
  721. network and more ($94).  For more information send email to
  722. info@amzi.com, write to Amzi! Inc., 40 Samuel Prescott Drive, Stow, MA
  723. 01775, call 508-897-7332, or fax 508-897-2784. Additional information
  724. is also available from their anonymous FTP site
  725.    ftp://ftp.amzi.com/pub/users/amzi/
  726. or their Web page 
  727.    http://www.amzi.com
  728.  
  729. Arity Prolog 6.1 is an emulator with interpreter and compiler and runs on
  730. DOS ($650), OS/2 ($1k), Windows (extra $350), OS/2 V.2, and Windows-NT.
  731. (Note that Windows support means that you can write Prolog programs that
  732. manipulate Windows. The Windows version of Arity Prolog does not itself
  733. run under MS Windows.) For more information, write to Arity Corporation,
  734. Damonmill Square, Concord, MA 01742, call 800-722-7489 (508-371-1243),
  735. fax 508-371-1487, or send email to 73677.2614@compuserve.com or Paul G.
  736. Weiss <pgweiss@netcom.com>.
  737.  
  738. ProLog by BIM is a high-performance and robust implementation of the
  739. Prolog language. It compiles to native machine code for maximum
  740. execution speed, and provides flexible memory management with automated
  741. expansion, shrinking, garbage collection and user-definable parameters.
  742. The ProLog by BIM environment comprises a GUI including an execution
  743. monitor and debugger, an on-line help facility, a extended emacs
  744. interface and a profiler. ProLog by BIM also includes a bi-directional
  745. external language interface, which is used for the included interfaces
  746. to graphics, windowing and RDBMS packages. The system also comes with a
  747. large library of Prolog source code which contains many of the most
  748. commonly used predicates.  Stand-alone run-times without royalties and
  749. embeddability allow problem-free end-user delivery.  ProLog by BIM comes
  750. with Carmen, a WYSIWYG GUI-Generator delivering Prolog code that allows
  751. notifiers and call-backs in Prolog and serves as a powerful
  752. rapid-prototyping aid.  ProLog by BIM runs on SPARC, INTEL PC running
  753. Solaris 2.x, HP700 and IBM RS/6000. BIM provides both training and
  754. consultancy on Prolog and Prolog based developments efforts.  For more
  755. information write to BIM Engineering Europe sa/nv, ProLog by BIM dept., 
  756. avenue A. Einstein 4, B - 1348 Louvain-la-Neuve, Belgium, 
  757. call +32 10 47 06 11, fax to +32 10 47 08 11 or email to prolog@bim.be.
  758.  
  759. CIM-Prolog is a high-level emulator with interpreter for Apollo Domain
  760. and Sun (Unix). Also Standard Prolog for Apollo Domain, IBM PC/AT (DOS),
  761. INMOS transputer, and Sun. A parallel version is also available.
  762. For more information, write to Creative Soft GmbH, Turnstrasse 10, D-8510
  763. Fuerth, Germany, call +49 911 7499214, or fax +49 911 747756.
  764.  
  765. Coder's Prolog 2.0 is a Prolog Interpreter from Austin Code Works. Works
  766. on any system with a C compiler (it is designed for use with C
  767. programs), including IBM PCs (MS-DOS) and Unix workstations. For
  768. more information, write to Austin Code Works, 11100 Leafwood Lane,
  769. Austin, TX 78750-3587, call 512-258-0785, fax 512-258-1342, or send
  770. email to info@acw.com. 
  771.  
  772. Delphia Prolog v2 is an Edinburgh-standard compiler and interpreter that
  773. runs on Sun3, Sun4, Sparc, RS/6000, Apollo, HP9000/300, Unigraph 68xxx,
  774. 386/486 (SCO Unix), DecStation (Ultrix), Sony NEWS (Unix), VAX (VMS,
  775. Ultrix), uVax (Ultrix), VaxStation (Ultrix). Includes database
  776. interfaces, graphical libraries, and incremental compilation. Price
  777. $10,000. Write to Delphia, 27 Avenue de la Republique, 38170 Seyssinet,
  778. France, call 33-76-26-68-94 or fax 33-76-26-52-27. An earlier version
  779. was reviewed in AI Expert, January 1991 and Feburary 1991.
  780.  
  781. ECRC SEPIA. See ECLiPSe. SEPIA is no longer delivered as a
  782. stand-alone system, but as a part of ECLiPSe.
  783.  
  784. EDCAAD C-Prolog is a prolog interpreter for Sun (SunOS), VAX (Ultrix,
  785. VMS), Apollo, and 68000 (Unix). An inexpensive academic license is
  786. available. It is an interpreter-based system, and hence is slower than
  787. WAM-based Prologs. It is implemented in C, and should run on almost
  788. any 32-bit machine with a C compiler. For more information, write to 
  789. EdCAAD, Department of Architecture, Edinburgh University, 20 Chambers St.,
  790. Edinburgh EH1 1JZ, UK, call +44 (31) 650 1000, fax +44 (31) 667 0141,
  791. or send email to chris@caad.ed.ac.uk.
  792.  
  793. FRIL (Fuzzy Relational Inference Language) is a logic-programming
  794. language that incorporates a consistent method for handling
  795. uncertainty, based on Baldwin's theories of support logic, mass
  796. assignments, and evidential reasoning. Mass assignments give a
  797. consistent way of manipulating fuzzy and probabilistic uncertainties,
  798. enabling different forms of uncertainty to be integrated within a
  799. single framework. Fril has a list-based syntax, similar to the early
  800. micro-Prolog from LPA. Prolog is a special case of Fril, in which
  801. programs involve no uncertainty. Fril runs on Unix, Macintosh, MS-DOS,
  802. and Windows 3.1 platforms. For further information, write to Dr B.W.
  803. Pilsworth, Fril Systems Ltd, Bristol Business Centre, Maggs House, 78
  804. Queens Rd, Bristol BS8 1QX, UK. A longer description is available as
  805. ftp.cs.cmu.edu:/user/ai/areas/fuzzy/com/fril.txt
  806.  
  807. GT-Prolog is a high performance implementation of Edinburgh-standard
  808. Prolog for the Commodore Amiga. GT-Prolog includes the ProBench
  809. interactive development environment supporting incremental compilation,
  810. a multi-port debugger based on the Byrd model, a source code editor, and
  811. a break facility. GT-Prolog provides transparent access to sophisticated
  812. optimization techniques including Tail Recursion Optimisation, First
  813. Argument Indexing/Hashing, In-line Arithmetic Evaluation and automatic
  814. Garbage Collection of code and data. Error handling is based on catch
  815. and throw mechanisms. GT-Prolog is also one of the first implementations
  816. to support a fully logical Prolog database.  GT-Prolog provides explicit
  817. control of memory allocation allowing programs to use up to 16mb for
  818. data and 4gb for code and requires a minimum configuration of 1Mb memory
  819. plus Workbench version 2 or later.  GT-Prolog includes a library of more
  820. than 120 predicates that provide user programs with access to the
  821. facilities of AmigaDOS. The single user price is 89.95 pounds sterling
  822. inclusive of VAT and postage/packing. For more information, write to
  823. Graham Thwaites, Grange Technology Limited, Stream Road, Upton, Didcot,
  824. Oxon OX11 9JG, UK, tel/fax +44-1235-851818, or send email to
  825. gtpam@gtech.demon.co.uk or 100434.3011@compuserve.com.
  826.  
  827. HyperProlog. See Delphia Prolog.
  828.  
  829. IBM PROLOG for AIX/6000 (PFA) is a high performance implementation of
  830. the PROLOG language, combined with a powerful programming environment,
  831. especially designed for the IBM RISC System/6000 under AIX. PFA was
  832. developed by BIM as an adaptation of ProLog by BIM for the IBM RISC
  833. System/6000 under AIX. It was selected by IBM Europe as their official
  834. PROLOG implementation for the RISC System/6000.  For more information
  835. contact: BIM Engineering Europe sa/nv, ProLog by BIM dept., avenue A.
  836. Einstein 4, B - 1348 Louvain-la-Neuve, Belgium, phone: +32 10 47 06 11
  837. - fax: +32 10 47 08 11 - email: prolog@bim.be
  838.  
  839. IF/Prolog 5.0 is a Prolog compiler with a variety of highly efficient
  840. constraint problem solving tools, including Boolean constraints,
  841. Rational terms, Linear terms, Equations and Inequations, Finite Domain
  842. Constraints and Co-routines. IF/Prolog conforms to the ISO Prolog
  843. Standard, part 1. IF/Prolog also includes interfaces to C, C++,
  844. FORTRAN, X11 (OSF/Motif and Athena widgetsets), and SQL (Ingres,
  845. Oracle, and Informix). IF/Prolog has full screen X11 and Windows based
  846. debuggers and online hypertext help and quick reference guide.  It is
  847. available on Unix, OSF/1, VMS, MS-Windows, and mainframe systems,
  848. including Apollo, Aviion 300, Macintosh (A/UX), microVAX 2000
  849. (Ultrix), Vax (Ultrix, VMS), VaxStation (Ultrix), DEC Alpha (OSF/1,
  850. VMS), HP9000, Sun3, Sun4, Sparc, UTS, AIX/370, IBM RS/6000, Decstation
  851. (Ultrix, OSF/1), Sequent S16, Silicon Graphics, Sony News (Unix),
  852. Motorola, Nixdorf, Interactive Unix, SCO UNIX, DOS-based 386 PCs, and
  853. Windows 3.0/3.1.  Academic licenses are available at half price.  For
  854. more information contact Annette Kolb (marketing) or Dr. Andrew Verden
  855. (technical) at IF Computer GmbH, Ludwig-Thoma-Weg 11a, D-82065
  856. Baierbrunn, tel +49 89 7936 0037, fax +49 89 7936 0039, or email
  857. prolog@mch.sni.de, or IF Computer Japan Ltd., 7/F 2nd Asanuma Bldg.,
  858. 3-21-10 Hongo, Bunkyo-ku, Tokyo 113, Japan.  tel + 81 3 3818 5826 fax
  859. + 81 3 3818 5829. They have a web page at the URL
  860.    http://www.biz.isar.de/ifcomputer/
  861.  
  862. IQSOFT MProlog is a high-level emulator with interpreter for Unix,
  863. Macintosh and IBM PC (DOS). Runs on Vax (Unix 4.2 BSD), 68000-based
  864. machines (Unix), Tektronix 4404, HP3000, and Siemens 1. For more
  865. information, write to IQSOFT, SZKI Intelligent Software Ltd., Iskola u.
  866. 10., Budapest, H-1011, Hungary, call +36 1 201 6764, fax +36 1 201 7125, or
  867. send email to szeredi@iqsoft.hu.
  868.  
  869. LPA Prolog is a 32-bit prolog compiler for IBM PCs (Windows 3.11/3.1 and 
  870. Windows95, NT) and Apple Macintosh with direct access to graphics, 
  871. menus, windows etc and incremental compilation and Edinburgh syntax 
  872. compatability. LPA Prolog++ is an object-oriented programming system 
  873. based on Prolog. (See Chris Moss's book on Prolog++ in [1-3].) flex is
  874. an expert system shell with access to the Prolog compiler system.
  875. MacProlog32 runs under System 7. Programmer Edition is $495 list, and the 
  876. Developer Edition, which includes a runtime generator for producing 
  877. standalone applications, is $995. LPA Prolog for Windows runs $495 and 
  878. supports DDE and DLLs, and a variety of interfaces. Prolog++ runs $795 
  879. ($1,495 Developer Edition). LPA also offer the ProData Database Interface 
  880. toolkit which uses ODBC technology to join Prolog clauses to RDMS tables.
  881. Contact vendor regarding educational discounts, site licences, and details
  882. of low-cost Personal Edition and new fuzzy logic and data mining products.
  883. Write to Logic Programming Associates, Ltd., Studio 4, Royal Victoria 
  884. Patriotic Building, Trinity Road, London SW18 3SX, England, call +44 
  885. (0)181-871-2016, fax +44 (0)181-874-0449, In the US call 800-949-7567. 
  886. or send email to lpa@cix.compulink.co.uk (sales, tech support), or
  887. 100135.134@compuserve.com
  888. The URL for their web page is: 
  889.    http://www.lpa.co.uk/
  890.  
  891. Maxon Prolog is available for the Atari ST from the German magazine
  892. 'ST-Computer' for 298 DM. Tel: 010 49 61 96 481811.
  893.  
  894. MU-Prolog, NU-Prolog are prolog interpreters from the University of 
  895. Melbourne. Source licences are available for educational institutions.
  896. Implemented in C for BSD Unix. Currently running on Sun3, Sun4, Vax, 
  897. Elxsi, Encore, and SGI. For more information, write to University of 
  898. Melbourne, MU-Prolog Distribution, Department of Computer Science, 
  899. Parkville, Victoria 3052, Australia, call +61 3 344 7270, or send email to
  900. lee@cs.mu.oz.au or jws@cs.mu.oz.au.
  901.  
  902. ORISA of Germany offers three Prolog implementations for OS/2:
  903. ORISApro, ORISAentry, and ORISAbase.
  904.  
  905.    +  ORISApro: Interpreter, incremental compiler, debugger. Both
  906.       command line and PM front end. Supports Edinburgh syntax and
  907.       Edinburgh predicates. Wide range of built-in predicates. Interfacing to
  908.       procedural languages. API for PM applications, SOM, and SQL.
  909.       Non-standard data types include arrays, key-value lists (items),
  910.       large rational numbers, skeletons with nonatomic names, strings,
  911.       and user-defined types. Based on IBM's cancelled Prolog/2.
  912.       Costs 1000 DM (about $700). [SOM support is not yet implemented,
  913.       but should be available in a future version of ORISApro.]
  914.  
  915.    +  ORISAentry: A light weight version of ORISApro, missing some of
  916.       its advanced features, like SOM support and procedural language
  917.       interface. Costs about 100 DM (about $70). Available since 1st
  918.       quarter of 1995. 
  919.  
  920.    +  ORISAbase: Object-oriented Prolog development environment for  
  921.       Prolog based OS/2 GUI applications. Should be available in 3rd
  922.       quarter 1995, with beta testing scheduled for October 1995.
  923.       ORISAbase prices are planned to range from about 
  924.       5,000 DM ($3,500) to about 100,000 DM ($70,000). The actual price 
  925.       depends on the number of ordered developer and runtime licenses
  926.       and the number and type of service contracts. 
  927.  
  928. For informations and orders write to 
  929.    ORISA Software GmbH, Leutragraben 8a, D-07743 Jena, Germany
  930.    Fax: +49 3641 588022,
  931. or
  932.    ORISA Software GmbH, Sommerrain 8, D-70839 Gerlingen, Germany
  933.    Tel/Fax: +49 7156 48808
  934.  
  935. OU Prolog is a prolog interpreter from Open University for IBM PC
  936. (MS-DOS). Includes video, books. Ask for item PD622 and quote
  937. reference SA69. For more information, write to Open University,
  938. Learning Materials Sales Office, PO Box 188, Milton Keynes MK7 6DH, UK.
  939.  
  940. PDC Prolog runs on IBM PCs (DOS, OS/2, Windows and SCO Unix). Formerly
  941. known as Turbo Prolog from Borland. Includes a native code compiler
  942. but is incompatible with most other prologs. Its variables are
  943. strongly typed, unlike most other prologs. For more information, write
  944. Prolog Development Center, 568 14th Street, Atlanta, GA 30318, call
  945. 800-762-2710, (404-873-1366), fax 404-872-5243 or email
  946. pdc-request@pdc.dk (general information), sales@pdc.dk (sales),
  947. support@pdc.dk (tech support). European customers may write to Prolog
  948. Development Center, A/S, H.J. Holst Vej 5A, DK-2605 Broendby, Denmark,
  949. call +45 36 72 10 22, or fax +45 36 72 02 69. Reviewed in AI Expert
  950. January 1991. Other email addresses include 753CD.165@compuserve.com.
  951. To subscribe to the PDC-L@nic.surfnet.nl mailing list, a discussion
  952. list for PDC Prolog users, send mail to LISTSERV@nic.surfnet.nl with
  953.     SUBSCRIBE PDC-L <your full name>
  954. in the message body.
  955.  
  956. POPLOG is a high-level prolog emulator with interpreter for Unix. The POPLOG
  957. environment integrates four AI programming languages in one
  958. environment: Lisp, Prolog, ML and POP11. POPLOG can also load in C and
  959. Fortran binaries. Runs on VAX (Ultrix, VMS), VAXStation (Ultrix),
  960. DECStation (Ultrix), Sun 3,4, Sparc, Solbourne, HP Apollo 9000/400,
  961. Sparc (HP-UX), MIPS (RISCOS), Sequent Symmetry (Dynix), Apple
  962. Macintosh (AUX), SONY News (News-OS), and Silicon Graphics Iris
  963. (Irix). The academic version from Sussex University. For more
  964. information, write to POPLOG, Sussex University, Poplog Manager,
  965. School of Cognitive Sciences, Falmer, Brighton BN1 9QN, UK, call +44
  966. 273 608367, fax +44 273 678188, or send email to popsales@cogs.sussex.ac.uk
  967. or popmanager@cogs.sussex.ac.uk. The commercial version is available
  968. from Integral Solutions Ltd as Integral Poplog and Pop++. For more
  969. information, write to Integral Solutions Ltd, Unit 3, 23 Campbell
  970. Court, Bramley, Basingstoke Hampshire RG26 5EG, UK, call +44 256 88 20
  971. 28, fax +44 256 88 21 82, or send email to isl@integ.uucp or
  972. isl@integ.co.uk. The North American retailer is Computable
  973. Functions Inc. For more informatin, write to Computable Functions Inc.,
  974. 35 S. Orchard Drive, Amherst, MA 01002, call 413-253-7637, or fax
  975. 413-545-1249. Contact Robin Popplestone, pop@cs.umass.edu, for info
  976. on a new book on Pop-11. There's a users mailing list, and a newsgroup
  977. as well (comp.lang.pop).
  978.  
  979. Prolog-2 (Commercial Version), is a high-level emulator with
  980. interpreter and compiler for IBM PC (MS-DOS, Windows 3.0/3.1), and
  981. 386-up. (Non-PC versions for Sun3, Sun4, HP9000 (Unix), RS/6000
  982. (Unix), and VAX (VMS) are no longer supported, since ESI, the new
  983. owners, are also distributors for BIM-Prolog.) It is an Edinburgh
  984. standard prolog with a number of extensions. The windows version
  985. includes BIPs for programming windows graphics and dialogues.  For
  986. more information, write to Expert Systems International (ESI), Attn:
  987. Leo Mulders, PO Box 148, NL-3700 AC ZEIST, the Netherlands, call
  988. +31-3404-22911, fax +31-3404-32888, or email <prolog@esi.nl>.  
  989.  
  990. Prolog III integrates constraint programming with Prolog. It runs on
  991. Apple Macintosh, IBM PC (386, MS-DOS), Next, Sun3, Sun4, Sparc, HP9000,
  992. Apollo, RS/6000, Bull DPX, Masscomp (Unix), Vax (Ultrix, VMS),
  993. DecStation and MicroVAX. For more information, write to PrologIA,
  994. Parc Technologique de Luminy, Case 919, 13288 Marseilles cedex 09, France,
  995. call 33-91-26-86-36, fax 33-91-41-96-37, or send email to
  996. prolia@dcftlx.das.net or prolia@tlxf.geomail.org. The US point of contact
  997. for Prolog III by PrologIA is BIM Systems, Inc. 
  998.  
  999. Prolog-86 is available from Solution Systems Inc. For more
  1000. information, write to Solution Systems Inc., 335-D Washington Street,
  1001. Norwell, MA 02061, call 617-337-6963, or fax 617-431-8419.
  1002.  
  1003. PTC (Prolog To C) is a portable Prolog compiler based around an
  1004. optimized Prolog to ANSI C compiler.  It runs on Sun, SGI, IBM (Unix),
  1005. and HP.  PTC includes an integrated compiler/interpreter,
  1006. project-file-based compilation, a Motif user interface, editor,
  1007. debugger, online help, and support for C modules. It costs $1,495 for
  1008. the development environment and $795 for each additional runtime
  1009. library. The standalone environment is $495. For more information,
  1010. write to Paralogic Inc., 115 Research Drive, Bethlehem, PA 18015,
  1011. call 215-861-6960, fax 215-861-8247 or send email to
  1012. plogic@lehi3b15.csee.Lehigh.edu.
  1013.  
  1014. Quintec Prolog is a high-level emulator with interpreter for IBM PC
  1015. (MS-DOS), and Unix workstations such as Vax, VAXstation (Ultrix, VMS),
  1016. Decstation (Ultrix), and Sparc (SunOS4.0). For more information,
  1017. write to Quintec Prolog, Quintec Systems Ltd., Midland House, West Way, 
  1018. Botley, Oxford OS2 0PL, UK, call +44 865 791565, or fax +44 865 791595.
  1019.  
  1020. Quintus Prolog is a complete Prolog development system with extensive
  1021. Prolog libraries, graphical user interface, source-linked debugger,
  1022. profiler, on-line help, interface to X Windows, and user-customizable
  1023. I/O and memory management.  Quintus Prolog supports development of
  1024. stand-alone applications, as well as fully embeddable Prolog modules,
  1025. which may be called as subroutines from other languages.  There are no
  1026. royalties on applications developed with Quintus Prolog.  Quintus
  1027. offers Prolog-based solutions for database, expert system, and GUI
  1028. developers. Quintus also provides Prolog consulting and Prolog
  1029. training.  Platforms include DEC Alpha (OSF/1), HP 9000 (HP-UX), IBM
  1030. RS/6000 (AIX), PC (DOS, Windows, Windows NT, Solaris, OS/2), Macintosh 32bit, 
  1031. SGI (IRIX), Sun SPARC (SunOS, Solaris).  For product information and
  1032. Prolog training schedules contact Quintus Corporation, 301 East Evelyn
  1033. Avenue, Mountain View, CA 94041, call 415-254-2800 or 800-542-1283 (US),
  1034. fax 415-428-0211, or send email to sales@quintus.com.  To be added to
  1035. the users group mailing list, email to quintus-users-request@quintus.com.
  1036. The email address for technical support is teksup@quintus.com.
  1037.  
  1038. SICStus Prolog:
  1039.  
  1040.    SICStus Prolog 3 is an Edinburgh compatible Prolog that runs on most
  1041.    UNIX 32 and 64 bit platforms, Windows (NT and 95), MSDOS, and
  1042.    Macintosh platforms. It includes a WAM-based emulator and compiler,
  1043.    native code compilation for Sparc, MIPS and 680x0, indexed interpreted
  1044.    and compiled predicates mixed arbitrarily, modules, term and goal
  1045.    expansion hooks, support for cyclic terms, garbage collection and
  1046.    stack shifting, backtrackable side-effects and mutable terms,
  1047.    attributed variables and coroutining facilities, exceptions, unbounded
  1048.    precision integer arithmetic, double precision floating point
  1049.    arithmetic, extended set of built-in arithmetic functions, constraint
  1050.    solvers for Booleans, reals, rationals and finite domains (unbundled),
  1051.    support for building stand-alone applications, bidirectional C/Prolog
  1052.    interface, user-defined streams and signals, a GNU Emacs interface,
  1053.    execution profiling, and a "procedure box" debugger.  
  1054.  
  1055.    An OR-parallel version of the development system, MUSE, can be built
  1056.    on several multiprocessor platforms.
  1057.  
  1058.    SICStus Prolog comes with a library of utility modules implementing
  1059.    commonly needed algorithms and data types, an external store for
  1060.    Prolog facts with user-defined indexing, an object-oriented extension
  1061.    (Prolog Objects), a package for GUI construction based in Tcl/Tk,
  1062.    access to operating system services, and more.
  1063.  
  1064.    Information about licensing, available third party software, and
  1065.    useful links is available on the WWW, URL
  1066.       http://www.sics.se/sicstus.html
  1067.    or by writing to SICS, Swedish Institute of Computer Science, PO Box 1263,
  1068.    S-164 28 KISTA, Sweden, calling +46 8 752 15 02, fax +46 8 751 72 30, or
  1069.    sending email to sicstus-request@sics.se or sicstus@sics.se.  Bug reports
  1070.    and tech support questions should be sent to sicstus-bug@sics.se.  To
  1071.    subscribe to the users group and implementors mailing list, send email
  1072.    to sicstus-users-request@sics.se.
  1073.  
  1074.    Mixtus is an automatic partial evaluator for SICStus Prolog. Presently
  1075.    it is distributed separately. Contact dan@sics.se for more information.
  1076.  
  1077. SNI Prolog Version 3 is an implementation of the Prolog language that
  1078. is compatible with the ISO Standard draft. It is available from
  1079. Siemens Nixdorf for Unix workstations for about DM 11100 in Germany.
  1080. SNI Prolog runs on the SGI, SNI and Sun platforms, and ports to other
  1081. systems, including MS-DOS, are in progress. Includes coroutines,
  1082. finite domains, numerical and boolean constraints, garbage collection,
  1083. incremental compilation, dynamic linking, hypertext style on-line
  1084. help, a window environment with an integrated editor, interfaces to
  1085. INFORMIX, Motif/XWindows and C. The constraint programming features of
  1086. SNI Prolog provide support for solving problems from operations
  1087. research such as dynamic resource allocation and flexible scheduling
  1088. with numerical constraints or the verification of complex systems with
  1089. Boolean constraints. For more information, write to Siemens Nixdorf
  1090. Informationssysteme AG, Otto-Hahn-Ring 6, D-8000 Munich 83, Germany,
  1091. Attn: Hans-Juergen Stenger, Systems Planning, call +49 89 636 44049,
  1092. fax +49 89 636 41208, or send email to stenger@sd235-hera.zfe.siemens.de.
  1093.  
  1094. SPIES YAP is a high-level emulator with interpreter for the Apple
  1095. Macintosh, Amiga (Atari ST), and Unix workstations including Sun3,
  1096. Sun4, VAXstation, SGI, and HP9000. For more information, write to
  1097. SPIES, Sociedade Portuguesa de, Importacao e Exportacao de Software,
  1098. Lda Av da Republica, 46 - 2, 1000 Lisboa, Portugal, call +351 1
  1099. 795075, or fax +351 1 775891.
  1100.  
  1101. Turbo Prolog. See PDC Prolog.
  1102.  
  1103. Visual Prolog. Developed as the multi-target GUI based successor to
  1104. PDC Prolog (described above). The Standard version generates source
  1105. code compatible 16-bit GUI executables for Win3.1x, Win95, WinNT and
  1106. OS/2 PM (Prof.version only). The Professional version can be used to
  1107. generate both 16 and 32-bit applications. The O/S independent VPI
  1108. (Visual Programming Interface) combined with a host of automatic code
  1109. generation and maintenance tools and full on-line help ease the
  1110. construction of complicated applications. The Visual Prolog Web Pages
  1111. at the URL 
  1112.    htpp://www.pdc.dk/vip/ 
  1113. contain product information and news as well as free Visual Prolog
  1114. tools and updates.  Prolog Development Center developed the well known
  1115. (but now extinct) Turbo Prolog from Borland. For more information US
  1116. customers should call 1-800-762-2710 or 1-404-873-1366, fax
  1117. 1-404-872-5243, write to Prolog Development Center, 568 14th Street,
  1118. Atlanta, GA 30318, or send email to 75300.165@compuserve.com.
  1119. Customers in other countries should call +45 36 72 10 22, fax +45 36
  1120. 72 02 69, write to Prolog Development Center A/S, H.J. Holst Vej 3A -
  1121. 5A, DK-2605 Broendby, Denmark, or send email to sales@pdc.dk or
  1122. support@pdc.dk. A BBS is run at 404-872-5358. An early version of PDC
  1123. Prolog was reviewed  in AI Expert, January 1991. PDC has a forum on
  1124. CompuServe (GO PCVENB). To subscribe to the PDC-L@nic.surfnet.nl
  1125. mailing list, a discussion list for PDC Prolog and Visual Prolog
  1126. users, send mail to LISTSERV@nic.surfnet.nl with
  1127.     SUBSCRIBE PDC-L <your full name>
  1128. in the message body.
  1129.  
  1130. XPRO 5.0 is a Prolog development environment for OS/2. It includes
  1131. a 32-bit Prolog interpreter/compiler and a rule compiler than compiles
  1132. natural language-style rules into Prolog code. Includes a C/C++
  1133. interface. Costs $299 (no runtime or license fees). For more
  1134. information, contact: Rational Vision, 7111 West Indian School Road,
  1135. Suite 131, Phoenix, AZ 85033, or phone 602-846-0371.
  1136.  
  1137.  
  1138. See also CHIP V4 from COSYTEC in [2-6].
  1139.  
  1140. ----------------------------------------------------------------
  1141. Subject: [2-3] Free Parallel Prolog Implementations
  1142.  
  1143. This section contains free parallel Prolog and logic programming
  1144. implementations. 
  1145.  
  1146. BAP:
  1147.    Brain Aid Prolog (BAP) is a Concurrent Sequential Processes (CSP)
  1148.    based standard Prolog for Transputer networks. BAP uses its own MS
  1149.    Windows or X Windows server for I/O. Special features include
  1150.    automatic topology adapation and concurrent source level debugging
  1151.    (see several processes exchange messages). Performance is pretty high,
  1152.    comparable to that of other Prolog compilers. BAP has achieved good
  1153.    results (>80% efficiency) when executing applications like N-queens or
  1154.    checkers in parallel on an 8 processor network. A demo version that
  1155.    supports Transputer systems with a maximum of 2 processors is
  1156.    available by anonymous ftp from 
  1157.       unlisys.in-berlin.de:/pub/brainaid/
  1158.    and also from the CMU AI Repository, in
  1159.       ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/parallel/bap/
  1160.    A full version for up to 128 nodes is also available for both SUN and
  1161.    PC. Write to Frank Bergmann <fraber@cs.tu-berlin.de> or 
  1162.    <bap_info@brainaid.in-berlin.de> for more information. 
  1163.  
  1164. BeBOP:
  1165.    The BeBOP language combines sequential and parallel Logic Programming
  1166.    (LP), object oriented programming and meta-level programming. The LP
  1167.    component offers both don't know non-determinism and stream AND
  1168.    parallelism, a combination not possible with concurrent LP languages.
  1169.    BeBOP's object oriented features include object IDs, encapsulation,
  1170.    message passing, state updating, and object behaviour modification.
  1171.    The meta-level capabilities are based on the treatment of Prolog
  1172.    theories as first order entities, which enables them to be updated
  1173.    easily and lets fragments to be passed between objects in messages.
  1174.    BeBOP is implemented by translation down to NU-Prolog, and its
  1175.    parallel extension, PNU-Prolog.  The BeBOP system (BeBOP and bp) and
  1176.    the PNU-Prolog preprocessor pnp can be obtained by anonymous ftp from
  1177.    munnari.oz.au:/pub/bebop.tar.Z [128.250.1.21].  The release comes with
  1178.    a user manual, several papers (in Postscript format), sample programs,
  1179.    and source code.  The BeBOP system requires the NU-Prolog system,
  1180.    compiler and interpreter, the pnp preprocessor (which is included as
  1181.    part of the BeBOP system release), GCC or a similar compiler, Yacc (or
  1182.    Bison) and Lex. For more information, contact Andrew Davison,
  1183.    <ad@cs.mu.oz.au>, Dept. of Computer Science, University of Melbourne,
  1184.    Parkville, Victoria 3052, Australia, call +61 3-287-9172/9101, or fax
  1185.    +61 3-348-1184.
  1186.  
  1187. KLIC:
  1188.    KLIC is a portable implementation of KL1 (an extended Flat GHC), a
  1189.    concurrent logic programming language developed at ICOT in Japan.
  1190.    Runs on Suns, HPs, DECs, and Linux PC's and marks 2 MLIPS on
  1191.    SparcStation 10/30 and 4MLIPS on system with 200MHz Alpha.  A
  1192.    sequential version available via anonymous ftp from ftp.icot.or.jp.
  1193.    Parallel versions planned shortly.  A representative paper on the
  1194.    language is Kazunori Ueda and Takashi Chikayama, "Design of the
  1195.    Kernel Language for the Parallel Inference Machine", The Computer
  1196.    Journal, December, 1990.  A paper on its KLIC implementation is
  1197.    Takashi Chikayama, Tetsuro Fujise and Daigo Sekita, "A Portable and
  1198.    Efficient Implementation of KL1", PLILP'94 (LNCS #844,
  1199.    Springer-Verlag).  For more information, send an email to
  1200.    klic-requests@icot.or.jp or write to ICOT Free Software Desk,
  1201.    Institute for New Generation Computer Technology, 21st Floor, Mita
  1202.    Kokusai Bldg., 4-28, Mita 1-chome, Minato-ku, Tokyo 108, Japan, fax
  1203.    +81-3-3456-1618.
  1204.  
  1205. Multi-BinProlog:
  1206.    Multi-BinProlog 2.00 is a prototype Linda-style parallel extension to
  1207.    BinProlog 1.71 developed by Koen De Bosschere and Paul Tarau. It uses
  1208.    Koen's C-parser and C-writer which together speed-up IO considerably.
  1209.    It works with shared-memory and remote procedure calls and is
  1210.    available from clement.info.umoncton.ca:MultiBinProlog/
  1211.    See BinProlog in [2-1] for more information.
  1212.  
  1213. NCL:
  1214.    NCL (Net-Clause Language) is aimed at describing distributed
  1215.    computation models using term unification as a basic processing and
  1216.    control mechanism. It is embedded in standard Prolog and comprises two
  1217.    parts -- net-clauses and data-driven rules, which can communicate each
  1218.    to other and to standard Prolog programs.  A net-clause is a special
  1219.    domain in the database defining a network of nodes and links. The
  1220.    nodes are represented by Prolog compound terms. The variables
  1221.    occurring within the nodes are global logical variables, which can be
  1222.    shared within the scope of the net-clause thus playing the role of
  1223.    network links.  Two control mechanisms are implemented: a spreading
  1224.    activation scheme similar to the connectionist spreading activation
  1225.    and to the marker passing mechanism in SN (in logic programming it is
  1226.    seen as a restricted forward chaining) and a default mechanism based
  1227.    on using variables to propagate terms without being bound to them,
  1228.    thus implementing the non-monotonicity of default reasoning.  The
  1229.    Data-driven Rules implement a full scale forward chaining for Horn
  1230.    clauses.  They simulate a data-driven parallel computation, where each
  1231.    rule is a process (in contrast to the traditional parallel logic
  1232.    programming where each goal is a process). The NCL/Prolog interpreter
  1233.    along with a reference manual and a set of examples is available by
  1234.    anonymous ftp at ai.uga.edu:/pub/misc/ncl.tar.Z. For more information
  1235.    contact Zdravko Markov, Institute of Informatics, Bulgarian Academy of
  1236.    Sciences Acad.G.Bonchev Street, Block 29A, 1113 Sofia, Bulgaria,
  1237.    <markov@iinf.bg>.
  1238.  
  1239. PCN:
  1240.    PCN (Program Composition Notation) is not a logic programming
  1241.    language, but it has similarities to Strand and other concurrent logic
  1242.    programming languages. PCN is a parallel programming system that
  1243.    provides a simple language for specifying concurrent algorithms,
  1244.    interfaces to Fortran and C, a portable toolkit that allows
  1245.    applications to be developed on a workstation or small parallel
  1246.    computer and run unchanged on supercomputers, and integrated debugging
  1247.    and performance analysis tools. PCN includes a runtime system,
  1248.    compiler, linker, a set of standard libraries, virtual topology tools,
  1249.    a symbolic debugger (PDB), an execution profiler (Gauge), and a trace
  1250.    analysis tool (Upshot). PCN was developed at Argonne National
  1251.    Laboratory and the California Institute of Technology.  PCN runs on
  1252.    Sun4, NeXT, IBM RS/6000, SGI Iris, Intel iPSC/860, Intel Touchstone
  1253.    DELTA, Sequent Symmetry running Dynix (not PTX), and should be easy to
  1254.    port to other architectures. PCN is in the public domain and can be
  1255.    obtained by anonymous ftp from
  1256.       info.mcs.anl.gov:/pub/pcn/pcn_v2.0.tar.Z 
  1257.    The distribution includes a user's guide containing a tutorial and
  1258.    reference material. For further information on PCN, please send email to
  1259.    <pcn@mcs.anl.gov> or contact Ian Foster <foster@mcs.anl.gov>
  1260.    708-252-4619 or Steve Tuecke <tuecke@mcs.anl.gov> 708-252-8711.
  1261.  
  1262. ROLOG: 
  1263.    ROLOG is a parallel PROLOG compiler with a reduce-OR process model.
  1264.    It is available by anonymous ftp from cs.uiuc.edu:/pub/ROLOG/.
  1265.  
  1266. See also IC-Prolog II (a multi-threaded Prolog) in [2-1].
  1267.  
  1268. ----------------------------------------------------------------
  1269. Subject: [2-4] Commercial Parallel Prolog Implementations
  1270.  
  1271. This section contains commercial parallel Prolog and logic programming
  1272. implementations. 
  1273.  
  1274. Densitron CS Prolog is a parallel prolog compiler and interpreter for
  1275. IBM PCs (MS-DOS or OS/2), T414/T800 transputer (mono or multi), 386
  1276. (Unix V), uVAX (VMS), or VAX(VMS). Also standard Prolog for MS-DOS,
  1277. UNIX and VAX. For more information, write to Densitron, Unit 4,
  1278. Aiport Trading Estate, Biggin Hill, Kent, TN16 3BW, UK, call +44 959
  1279. 76331, or fax +44 959 71017.
  1280.  
  1281. Paralogic is a parallel implementation of the Clocksin and Mellish
  1282. Prolog. It runs on DOS-based PCs or Apple Macintoshes with the INMOS
  1283. Transputers. For more information, write to Paralogic Inc., 115
  1284. Research Drive, Bethlehem, PA 18015, call 215-861-6960, fax
  1285. 215-861-8247 or email plogic@lehi3b15.csee.Lehigh.edu. It is also
  1286. distributed by Computer Systems Architects, 905 N. University Avenue,
  1287. Provo, UT 84604-3422, 800-753-4272 (801-374-2300), or fax 801-374-2306 
  1288. as n-parallel Prolog.
  1289.  
  1290. PARLOG is a parallel emulator from Imperial College for the Sequent
  1291. Balance, Sequent Symmetry, Encore Multimax, Alliant FX (Unix), Sun
  1292. (Unix, 1 processor). For more information, write to Imperial College,
  1293. Department of Computing, Parlog Distribution Secretary, 180 Queen's
  1294. Gate, London SW7 2BZ, UK, call +44 71 589 5111 x7537, fax +44 71 589
  1295. 8024, or send email to parlog@doc.ic.ac.uk. The single processor
  1296. versions of PARLOG for the Sun-3 and Sun-4 are now available free of
  1297. charge.  Please refer to the entry regarding IC-Prolog II in this
  1298. Resource Guide. Parallel Logic Programming produces PC-PARLOG and
  1299. MacPARLOG for the IBM PC and Macintosh computers.  For more
  1300. information contact Parallel Logic Programming Ltd., PO Box 49,
  1301. Twickenham, Middlesex TW2 5PH, UK or call +44 454 201 652.
  1302.  
  1303. Strand-88 is a parallel emulator for Sun3, Sun4, Sparc BBN Butterfly,
  1304. GPT2000, Cogent Multimax, Intel iPSC/2, iPSC/860, MIPS RiscStation,
  1305. Sequent Symmetry Balance (Unix System V or Mach, Helios) and
  1306. communication component from CSTools, Express in some cases. Also
  1307. Transputer systems PC hosted systems from Paracom, Telmat and others,
  1308. Unix hosted systems from Meiko, Paracom, Telmat and others, Apple
  1309. Macintosh, Atari ATW, and NeXT. Price dependent on configuration and
  1310. scale of target machine. For more information, write to Strand
  1311. Software Technologies Ltd., Ver House, London Rd, Markyate, Herts AL3
  1312. 8JP, UK, call +44 582 842424, fax +44 582 840282, or send email to
  1313. strand88@sstl.uucp.
  1314.  
  1315. SICS Aurora and Echo. See SICStus Prolog above.
  1316.  
  1317. ----------------------------------------------------------------
  1318. Subject: [2-5] Free Constraint Systems
  1319.  
  1320. This section contains constraint systems, constraint logic programming
  1321. systems, concurrent constraint languages, and other constraint
  1322. processing systems.
  1323.  
  1324. CIAL:
  1325.  
  1326.    CIAL 1.0b is an interval constraint logic programming language. The main
  1327.    difference between CIAL and other CLP(Interval) languages is that a
  1328.    linear constraint solver, which is based on preconditioned interval
  1329.    Gauss-Seidel method, is embedded in CIAL in addition to the interval
  1330.    narrowing solver. 
  1331.  
  1332.    The main motivations for a linear solver are:
  1333.  
  1334.       * Pure interval narrowing fails to narrow the intervals to any useful 
  1335.     width even for such simple systems as {X+Y=5, X-Y=6}.  Interval
  1336.     splitting may help but is costly.
  1337.  
  1338.       * Pure interval narrowing cannot always detect inconsistency or halt
  1339.     (in a reasonable time).  A simple example is {A+1=D, A+B=D, A>0, B<0}.
  1340.  
  1341.       * Efficient linear constraint solver is also important to the study of
  1342.     efficient non-linear constraint-solving.  Recent results show that 
  1343.     interval Newton method works better than pure interval narrowing for 
  1344.     solving non-linear constraints, but may require to solve many linear
  1345.     constraints in order to give the best results.
  1346.  
  1347.    This version of CIAL prototype is implemented as an extension to CLP(R)
  1348.    v1.2 and tested on Sun Sparc machines. You should have obtained CLP(R)
  1349.    from IBM prior to installing CIAL. The distribution is in the form of
  1350.    patches to the CLP(R) sources. [See entry on CLP(R) below].
  1351.    Send email to cial@cs.cuhk.hk to request CIAL, and for more details.
  1352.  
  1353.    Relevant papers include
  1354.  
  1355.       C.K. Chiu and J.H.M. Lee, "Towards practical interval constraint solving
  1356.       in logic programming", in Proceedings of the Eleventh International
  1357.       Logic Programming Symposium, Ithaca, NY, USA, November 1994 (to appear).
  1358.  
  1359.       J.H.M. Lee and T.W. Lee, "A WAM-based abstract machine for interval
  1360.       constraint logic programming and the multiple-trailing problem", in
  1361.       Proceedings Sixth IEEE International Conference on Tools with
  1362.       Artificial Intelligence, New Orleans, Nov 1994.
  1363.  
  1364. cu-Prolog:
  1365.    cu-Prolog is an experimental constraint logic programming language
  1366.    available free from Japan's Institute for New Generation Computer
  1367.    Technology (ICOT). Unlike most conventional CLP systems, cu-Prolog
  1368.    allows user-defined predicates as constraints and is suitable for
  1369.    implementing a natural language processing system based on the
  1370.    unification-based grammar. For example, the cu-Prolog developers
  1371.    implemented a JPSG (Japanese Phrase Structure Grammar) parser in
  1372.    cu-Prolog with the JPSG Working Group (the chairman is Prof. GUNJI,
  1373.    Takao of Osaka University) at ICOT. cu-Prolog is a complete
  1374.    implementation of Constraint Unification (cu), hence the name.
  1375.    cu-Prolog is implemented in C for BSD UNIX 4.2/3. Professor Sirai of
  1376.    Chukyo-University has also implemented cu-Prolog for the Apple
  1377.    Macintosh and DJ's GPP (80386/486 MS-DOS machine with the DOS
  1378.    extender). cu-Prolog is available free by anonymous ftp from
  1379.    ftp.icot.or.jp. For further information, send email to ifs@icot.or.jp,
  1380.    or write to ICOT Free Software Desk, Institute for New Generation
  1381.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  1382.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-3456-1618.
  1383.  
  1384. clp(FD):
  1385.    clp(FD) 2.2 is a constraint logic programming language over finite
  1386.    domains and booleans based on the wamcc Prolog compiler (see [2-1]).
  1387.    clp(FD) provides several constraints "a la CHIP" on finite domains and
  1388.    booleans and some facilities for building new constraints. clp(FD) is
  1389.    4 times faster than CHIP v3.2 on average.  clp(FD) requires GCC 2.4.5
  1390.    or higher and has been tested on Sparc workstations, DEC (Ultrix),
  1391.    Sony MIPS (R3000), and 386/486 PCs under linux. It should be
  1392.    easily ported to 32-bit machines with GCC.  clp(FD) is available free
  1393.    by anonymous ftp from
  1394.       ftp.inria.fr:/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/
  1395.    For more information, write to Daniel Diaz <Daniel.Diaz@inria.fr>,
  1396.    INRIA Rocquencourt, FRANCE.
  1397.  
  1398. CLP(R):
  1399.    CLP(R) is a constraint logic programming language with real-arithmetic
  1400.    constraints.  The implementation contains a built-in constraint solver
  1401.    which deals with linear arithmetic and contains a mechanism for delaying
  1402.    nonlinear constraints until they become linear.  Since CLP(R) subsumes
  1403.    PROLOG, the system is also usable as a general-purpose logic programming
  1404.    language. It includes facilities for meta-programming with constraints.
  1405.    The system consists of a compiler, byte-code emulator, and constraint
  1406.    solver. CLP(R) is written entirely in C and runs on Suns, Vaxen,
  1407.    MIPS-based machines (Decstations, Silicon Graphics), IBM RS6000s and
  1408.    PS2s. Includes MS-DOS support. It is available free from IBM for 
  1409.    academic and research purposes only. To get a copy, write
  1410.    to Joxan Jaffar, H1-D48, IBM Thomas J. Watson Research Center,
  1411.    P.O. Box 704, Yorktown Heights, NY 10598, or send email to
  1412.    joxan@watson.ibm.com or joxan@yktvmh.bitnet. Current version 1.2.
  1413.    For more information, write to Joxan or Roland Yap
  1414.    <roland@bruce.cs.monash.edu.au>.
  1415.  
  1416. OZ:
  1417.    Oz is a concurrent constraint programming language designed for
  1418.    applications that require complex symbolic computations, organization
  1419.    into multiple agents, and soft real-time control.  It is based on a
  1420.    computation model that provides a uniform foundation for higher-order
  1421.    functional programming, constraint logic programming, and concurrent
  1422.    objects with multiple inheritance.  From functional languages Oz
  1423.    inherits full compositionality, and from logic languages Oz inherits
  1424.    logic variables and constraints (including feature and finite domain
  1425.    constraints). Search in Oz is encapsulated (no backtracking) and
  1426.    includes one, best and all solution strategies.
  1427.  
  1428.    DFKI Oz is an interactive implementation of Oz featuring a programming
  1429.    interface based on GNU Emacs, a concurrent browser, an object-oriented
  1430.    interface to Tcl/Tk, powerful interoperability features (sockets, C,
  1431.    C++), an incremental compiler, a garbage collector, and support for
  1432.    stand-alone applications.  Performance is competitive with commercial
  1433.    Prolog and Lisp systems.  DFKI Oz is available for many platforms
  1434.    running Unix/X, including Sparcs and 486 PCs.
  1435.  
  1436.    Applications DFKI Oz has already been used for include simulations,
  1437.    multi-agent systems, natural language processing, virtual reality,
  1438.    graphical user interfaces, scheduling, placement problems, and
  1439.    configuration.
  1440.  
  1441.    Version 1.0 of DFKI Oz has been released on January 23, 1995.  DFKI Oz
  1442.    is available by anonymous ftp from
  1443.       ps-ftp.dfki.uni-sb.de:/pub/oz
  1444.    or through the WWW from
  1445.       http://ps-www.dfki.uni-sb.de/
  1446.    Tutorials, reference manuals, and research papers are available from
  1447.    the same locations.  You may start with "A Survey of Oz" (8 pages) and
  1448.    continue with "An Oz Primer" (110 pages). Questions may be directed to
  1449.    oz@dfki.uni-sb.de. To join the Oz users mailing list, contact
  1450.    oz-users-request@dfki.uni-sb.de.
  1451.  
  1452. See also ECLiPSe, Beta-Prolog, and LIFE in [2-1] and ALE in [1-5].
  1453.  
  1454. ----------------------------------------------------------------
  1455. Subject: [2-6] Commercial Constraint Systems
  1456.  
  1457. This section contains constraint systems, constraint logic programming
  1458. systems, concurrent constraint languages, and other constraint
  1459. processing systems.
  1460.  
  1461. CHIP V4 (Constraint Handling In Prolog) is designed as an extension to
  1462. Prolog offering three constraint solving domains: Integers, Rationals
  1463. and Booleans. The system was originally developed at ECRC in Munich
  1464. and now extended by the same team at COSYTEC in Paris. CHIP V4
  1465. includes extensions to the three domains: symbolic constraints, update
  1466. demons and cumulative constraints. The system is available with
  1467. optional interfaces for X11 and DOS graphics (XGIP), Oracle or Ingres
  1468. database connection (QUIC), C language interface (CLIC) and embedded
  1469. application interface (EMC). CHIP V4 is written completely in C, and
  1470. is available on a range of workstations including SunSparc (SunOS
  1471. 4.1), IBM RS6000 (AIX 3.2), HP 9000/700 series (HPUX 9.0) and
  1472. Decstation 3000 & 5000 (Ultrix 4.2) and PC386/486 (Dos 5.0).
  1473. Development and Runtime licences can be purchased for single-user,
  1474. multi-user or site licences together with support and maintenance. An
  1475. academic discount is offered for educational and research purposes.
  1476. For more information contact COSYTEC, Parc Club Orsay Universite 4 rue
  1477. Jean Rostand, 91893 Orsay Cedex, France, phone +33-1-60-19-37-38, fax
  1478. +33-1-60-19-36-20 or email <cosytec@cosytec.fr>.  The Tech Support
  1479. email address is help@cosytec.fr. COSYTEC is a founding
  1480. member of the PVG (Prolog Vendors Group).
  1481.  
  1482. CLP(R) is a constraint system from Monash University for VAX, Sun, and
  1483. Pyramid (Unix). Costs $150. For more information, write to Monash
  1484. University, CLP(R) Distribution, Department of Computer Science,
  1485. Clayton, Victoria 3168, Australia, or send email to
  1486. clp@moncsbruce.oz.au.
  1487.  
  1488. CLP(RI) is a Prolog-based Constraint Logic Programming (CLP) language
  1489. whose constraint-handling applies to arithmetic on Real Intervals
  1490. (RI). It is available on the Macintosh (PowerMac and M680x0 - all
  1491. versions from 1 MB Mac Plus up). The constraint system allows users to
  1492. express both non-linear and linear equations as constraint relations.
  1493. Includes a four-port debugger, foreign language interfaces (C and
  1494. Pascal), freeze/delay, tasking, and a high-level extensible GUI tool.
  1495. Further information and on-line manuals available on the Web site.
  1496. Price: $75 US ($80 outside US).  Available from Applied Logic Systems,
  1497. Inc., PO Box 180, Newton Centre, MA 02159, phone 617-965-9191, fax
  1498. 617-965-1636. Email: info@als.com.  Send a message to info@als.com
  1499. with subject line "HELP" to get a general information file in reply.
  1500. The URL for the WWW site is 
  1501.    http://www.als.com/
  1502. and the anonymous FTP site is ftp.als.com.
  1503.  
  1504. ILOG SOLVER (formerly called PECOS) is a C++ library that implements a 
  1505. CLP (Constraint Logic Programming) instance known as finite domains.
  1506. It is available on most Unix platforms, including Sun, HP, IBM
  1507. RS-6000, DEC, and SGI, and on Windows 3.1 for both Microsoft Visual
  1508. C++ and Borland C++. This library includes:
  1509.   - Prolog control structures:  non determinism, choice points,
  1510.     backtracking and cut. Modification of user-defined objects can be
  1511.     trailed so that their state is restored when a failure occurs.
  1512.   - Finite domain logical variables, and associated constraints.
  1513.   - Finite set logical variables and associated constraints.
  1514.   - Interval floating point variables, and associated
  1515.     constraints, analogous to what is found in BNR Prolog.
  1516.   - Predefined search and optimization algorithms. 
  1517. ILOG SOLVER does not use unification for passing arguments.  This
  1518. enables a smooth integration with C++. For further information: In the
  1519. USA and Canada, contact ILOG, Inc., 2073 Landings Drive, Mountain
  1520. View, CA 94303, phone (415) 390-9000, fax (415) 390-0946, e-mail
  1521. info@ilog.com.  Outside the USA and Canada: contact ILOG SA, 12 avenue
  1522. Raspail, 94251 Gentilly Cedex, France, tel (+33 1) 4740-8000, 
  1523. fax (+33 1) 4740-0444, e-mail info@ilog.fr, or URL 
  1524.    http://www.ilog.fr/ilog/home.html
  1525. See also http://www.ilog.fr for some papers about Ilog Solver and Ilog
  1526. Schedule. 
  1527.  
  1528. VS Trilogy is a Prolog compiler available from Vertical Software for
  1529. $395. For more information, write to Vertical Software Ltd., 14-636
  1530. Clyde Ave, W. Vancouver, BC, V7T 1E1, Canada, call 604-925-0321, or fax
  1531. 604-688-8479.
  1532.  
  1533. See also Prolog III and SNI Prolog in [2-2].
  1534.  
  1535. ----------------------------------------------------------------
  1536. Subject: [2-7] Free Logic Programming Systems
  1537.  
  1538. ALF:
  1539.    ALF (Algebraic Logic Functional programming language) is a
  1540.    language which combines functional and logic programming techniques.
  1541.    The foundation of ALF is Horn clause logic with equality which
  1542.    consists of predicates and Horn clauses for logic programming, and
  1543.    functions and equations for functional programming.  The abstract
  1544.    machine is based on the Warren Abstract Machine (WAM) with several
  1545.    extensions to implement narrowing and rewriting.     In the current
  1546.    implementation programs of this abstract machine are executed by an
  1547.    emulator written in C. It is available by anonymous ftp from
  1548.       ftp.germany.eu.net:/pub/programming/languages/LogicFunctional/
  1549.    (aka simpson.germany.eu.net) as the files alf_*.zoo
  1550.    (Documentation, C sources for the emulator, the preprocessor and the
  1551.    compiler). For further information, contact Rudolf Opalla
  1552.    <opalla@julien.informatik.uni-dortmund.de>.
  1553.  
  1554. CORAL:
  1555.    CORAL is a deductive database/logic programming system developed at
  1556.    the University of Wisconsin-Madison. It is a declarative language
  1557.    based on Horn-clause rules with extensions like SQL's group-by and
  1558.    aggregation operators, and uses a Prolog-like syntax.
  1559.  
  1560.    CORAL is available via anonymous ftp from ftp.cs.wisc.edu:/coral/.  The
  1561.    distribution includes source code compatible with AT&T C++ Version 2.0
  1562.    or later, executables for Decstations and SUN 4s, the CORAL User
  1563.    Manual, and some related papers containing a language overview and
  1564.    implementation details.  (A version of the source code compatible with
  1565.    GNU g++ will be available shortly.) For more information, contact
  1566.    Raghu Ramakrishnan, <raghu@ricotta.cs.wisc.edu>.
  1567.  
  1568. Lolli:
  1569.    Lolli is an interpreter for logic programming based on linear logic
  1570.    principles. Lolli, named for the linear logic implication operator
  1571.    "-o" called lollipop, is a full implementation of the language
  1572.    described in the paper "Logic Programming in a Fragment of
  1573.    Intuitionistic Linear Logic" (Josh Hodas & Dale Miller, to appear in
  1574.    Information and Computation), though it differs a bit in syntax, and
  1575.    has several built-in extra-logical predicates and operators. Lolli is
  1576.    available by anonymous ftp from 
  1577.       ftp.cis.upenn.edu:/pub/Lolli/Lolli-07.tar.Z 
  1578.    This distribution includes full ML source, along with a Makefile, as well
  1579.    as several background papers and a collection of example programs. For
  1580.    those who do not have SML-NJ at their site, the authors hope to
  1581.    provide pre-built binaries for a variety of architectures. These
  1582.    binaries can be found on 
  1583.       ftp.cis.upenn.edu:/pub/Lolli/binaries/
  1584.    At present Sparc and NeXT binaries are available.  If you compile
  1585.    lolli on a new architecture, please contact Josh Hodas at
  1586.    <hodas@saul.cis.upenn.edu> so that he can make your binary available.
  1587.  
  1588. Mercury:
  1589.    Mercury is a new, purely declarative logic programming language.
  1590.    Like Prolog and other existing logic programming languages, it is a
  1591.    very high-level language that allows programmers to concentrate on the
  1592.    problem rather than the low-level details such as memory management. 
  1593.    Unlike Prolog, which is oriented towards exploratory programming,
  1594.    Mercury is designed for the construction of large, reliable, efficient
  1595.    software systems by teams of programmers.  As a consequence,
  1596.    programming in Mercury has a different flavor than programming in
  1597.    Prolog.
  1598.  
  1599.    The main features of Mercury are:
  1600.  
  1601.     -  Mercury is purely declarative: predicates in Mercury do not
  1602.        have non-logical side effects.
  1603.     -  Mercury is a strongly typed language.  Mercury's type system is
  1604.        based on many-sorted logic with parametric polymorphism, very
  1605.        similar to the type systems of modern functional languages such
  1606.        as ML and Haskell.  Type errors are reported at compile time.
  1607.     -  Mercury is a strongly moded language.  
  1608.     -  Mercury has a strong determinism system. 
  1609.     -  Mercury has a module system.  
  1610.     -  Mercury supports higher-order programming,
  1611.        with closures, currying, and lambda expressions.
  1612.     -  Mercury is very efficient (in comparison with existing logic
  1613.        programming languages).  Strong types, modes, and determinism
  1614.        provide the compiler with the information it needs to generate
  1615.        very efficient code.
  1616.  
  1617.    The current Mercury system runs on Unix machines. It is known to run on
  1618.    Solaris 2.x, IRIX 5.x, Ultrix 4.3, OSF/1.1, BSDI 1.1, and Linux. It
  1619.    should run without too many changes on other Unix variants as well.
  1620.    You need gcc version 2.6.3 or higher and GNU make version 3.69
  1621.    or higher.  The Mercury distribution is available via anonymous
  1622.    ftp or WWW from the following locations:
  1623.  
  1624.        Australia:      ftp://turiel.cs.mu.oz.au/pub/mercury
  1625.                http://www.cs.mu.oz.au/~fjh/mercury
  1626.        USA:            ftp://ftp.cs.sunysb.edu/pub/XSB/mercury
  1627.        Europe:         ftp://ftp.csd.uu.se/pub/Mercury
  1628.  
  1629.    The Mercury WWW page is http://www.cs.mu.oz.au/~zs/mercury.html
  1630.  
  1631. See also LIFE, SLG, and XSB in [2-1], BeBOP in [2-3], and Oz in [2-5].
  1632.  
  1633. ----------------------------------------------------------------
  1634. Subject: [2-8] Commercial Logic Programming Systems
  1635.  
  1636. None so far. This is to be expected, as most logic programming systems
  1637. are experimental.
  1638.  
  1639. ----------------------------------------------------------------
  1640. Subject: [2-9] Other Commercial Prolog Products
  1641.  
  1642. ClauseDB is a database manager for Prolog data.  Advanced
  1643. knowledge-based applications often need to use a large number of
  1644. highly complex data objects. The objects are so complex that they
  1645. cannot be managed in a standard commercial RDB product, and the number
  1646. of them makes it impractical to store them in the standard Prolog
  1647. in-memory database. ClauseDB may also be useful even in Prolog
  1648. applications whose data can be handled in a RDB. The retrieval
  1649. procedure of ClauseDB is integrated in the Prolog search method. This
  1650. avoids the performance problems that arise with the standard scheme
  1651. for coupling Prolog with a RDBM (e.g., those caused by the well-known
  1652. mismatch problem between tuple- and set-based retrieval methods).
  1653. ClauseDB supports all the normal Prolog data objects (arbitrary terms
  1654. and clauses) and provides a locking mechanism that allows the sharing
  1655. of data while ensuring its integrity. ClauseDB 2.0 is available on
  1656. SUN SPARC (SunOS 4.x and 5.x) and the INTEL PC running Solaris 2.x.
  1657. For more information write to BIM sa/nv, ProLog by BIM dept.,
  1658. Kwikstraat 4, B - 3078 Everberg, Belgium, call ++32 2 759 59 25, fax
  1659. to +32 2 725 47 83 or e-mail to prolog@sunbim.be.
  1660.  
  1661. ----------------------------------------------------------------
  1662. Subject: [2-10] Prolog extensions, meta-interpreters, and pre-processors
  1663.  
  1664. ProFIT (Prolog with Features Inheritance and Templates) is an extension
  1665. of Prolog with sorted feature structures (including multi-dimensional
  1666. inheritance), finite domains, feature search, cyclic terms, and
  1667. templates. ProFIT works as a pre-processor, which takes a file
  1668. containing a ProFIT program as input, and gives a file with a Prolog
  1669. program as output. Sorted feature terms and finite domains are
  1670. compiled into a Prolog term representation, and the usual Prolog term
  1671. unification is used at runtime, so that there is no slowdown through a
  1672. unification algorithm, and no meta-interpreter is needed. ProFIT uses
  1673. the same techniques for compiling sorted feature terms and finite
  1674. domains into Prolog terms as the Core Langauge Engine of SRI Cambridge
  1675. and the Advanced Linguistic Engineering Platform (ALEP 2.2) by the
  1676. European Community, BIM, and Cray Systems. ProFIT is not a grammar
  1677. formalism (although it is motivated by NLP), although it provides some
  1678. ingredients that are considered typical of grammar formalisms. The goal
  1679. of ProFIT is to provide these datatypes without enforcing any
  1680. particular theory of grammar, parsing or generation. ProFIT can be used
  1681. to extend your favourite Prolog-based grammar formalism, parser and
  1682. generator with the expressive power of sorted feature terms. Cyclic
  1683. terms can be printed out and a user-configurable pretty-printer for
  1684. feature terms is provided. ProFIT is available free of charge by
  1685. anonymous ftp from
  1686.    coli.uni-sb.de:/pub/profit/
  1687. and is implemented in Sicstus Prolog (2.1 #9). For more information,
  1688. write to Gregor Erbach, Univ. Saarlandes, Saarbruecken, Germany
  1689. <erbach@coli.uni-sb.de> <http://coli.uni-sb.de/~erbach>.
  1690.  
  1691. ----------------------------------------------------------------
  1692. ;;; *EOF*
  1693.