FAQ: Prolog Implementations 2/2 [Monthly posting] 
Author Message
 FAQ: Prolog Implementations 2/2 [Monthly posting]

Archive-name: prolog/resource-guide/part2
Last-Modified: Tue Jul 20 21:09:03 1993 by Mark Kantrowitz
Version: 1.9

;;; ****************************************************************
;;; Prolog Resource Guide ******************************************
;;; ****************************************************************
;;; prolog-resource-guide-2.text -- 52432 bytes

This is part two of the Prolog Resource Guide. This part lists
available Prolog implementations, both free and commercial.

Prolog Implementations (Part 2):
  [2-1] Public Domain or Free Prolog Implementations
  [2-2] Commercial Prolog Implementations

Search for [#] to get to topic number # quickly. In newsreaders which
support digests (such as rn), [CTRL]-G will page through the answers.

Subject: [2-1] Public Domain or Free Prolog Implementations

The following list of free Prolog and logic programming
implementations excludes those listed in the comp.lang.lisp FAQ (i.e.,
Prolog interpreters written in Lisp).  Note that commercial prolog
implementations are often more robust and better supported than public
domain and free prolog implementations.

   A.D.A. Public Domain Prolog:

      A rather slow implementation of Prolog for MS-DOS systems, originally
      a product of Automata Design Associates (now defunct), 1570
      Arran Way, Dresker, PA 19025, 215-335-5400.

      ALF (Algebraic Logic Functional programming language) is a
      language which combines functional and logic programming techniques.
      The foundation of ALF is Horn clause logic with equality which
      consists of predicates and Horn clauses for logic programming, and
      functions and equations for functional programming.  The abstract
      machine is based on the Warren Abstract Machine (WAM) with several
      extensions to implement narrowing and rewriting.  In the current
      implementation programs of this abstract machine are executed by an
      emulator written in C. It is available by anonymous ftp from
      ftp.germany.eu.net (aka simpson.germany.eu.net) in the directory
      /pub/programming/languages/LogicFunctional as the files alf_*.zoo
      (Documentation, C sources for the emulator, the preprocessor and the
      compiler). For further information, contact Rudolf Opalla

   Aquarius Prolog:

      Aquarius Prolog is a high-performance, portable Prolog implementation
      developed since 1989 by the Aquarius Project at UC/Berkeley, the Advanced
      Computer Architecture Laboratory (ACAL) at the University of Southern
      California (USC), and at Digital Equipment Corporation's Paris Research
      Laboratory. The developers are Tom Getzinger, Ralph Clarke Haygood, and
      Peter Van Roy. Aquarius Prolog includes:

         - A compiler with global analysis.  The compiler is built around the
           Berkeley Abstract Machine (BAM) execution model for Prolog. BAM
           retains desirable features of the Warren Abstract Machine (WAM),
           but allows for significant further optimizations and is easier to
           map onto actual general-purpose machines.

         - A back-end that maps the BAM onto various actual general-purpose
           machines, including MIPS R3000 (DEC Ultrix and MIPS RISC/os),
           SPARC (SunOS), HP 9000 300/400 with MC68020, MC68030 or MC68040
           processors (HP-UX), and Sun3 (SunOS).

         - A run-time system offering substantially the same built-in
           predicates and memory management as Quintus Prolog, with additions
           such as two kinds of destructive assignment.  Most of the built-in
           predicates are written in Prolog, with little or no performance

      Aquarius Prolog also includes an interpreter and documentation.
      Aquarius Prolog comes in two distributions, Enduser and Full. The
      latter includes full source code and implementation notes.

      Aquarius Prolog may be obtained free of charge from USC, after signing
      and returning a license agreement. To get the license agreement, send a

         get aquarius-info license
      in the message body. To get more information about the Full and
      Enduser distributions, send the listserver a message containing
      one or both of the two lines:
              get aquarius-info readme-full
              get aquarius-info readme-enduser
      To subscribe to the aquarius-prolog mailing list, send the listserver a
      message with body:
              subscribe aquarius-prolog <Your real name here>
      To get more information about the abilities of the listserver, send it a
      message with 'help' in the body.

      For further information, write to University of Southern California,
      Advanced Computer Architecture Laboratory (ACAL), Attn: Aquarius Prolog
      Licensing, 3740 S. McClintock, Suite 131, Los Angeles, CA 90089-2561, or

      clement.info.umoncton.ca:BinProlog/binpro.1.71.tar.Z []
      The file papers.tar.Z contains papers related to the implementation.

      BinProlog replaces the WAM by a more compact continuation passing
      logic engine based on a mapping of full Prolog to binary logic
      programs.  BinProlog is free for research and other non-profit
      purposes. Version 1.71 runs on Sparc, Sun3, NeXT, and 386/486. The
      compiler makes 400 KLIPS on a Sparc 10-20 (101 KLIPS on a NeXT) and
      still uses a very small (38K under Solaris 2.1) emulator, making it
      among the fastest freely available C-emulated Prologs. Comments and

      CLP(R) is a constraint logic programming language with real-arithmetic
      constraints.  The implementation contains a built-in constraint solver
      which deals with linear arithmetic and contains a mechanism for delaying
      nonlinear constraints until they become linear.  Since CLP(R) subsumes
      PROLOG, the system is also usable as a general-purpose logic programming
      language.  It includes facilities for meta-programming with constraints.
      The system consists of a compiler, byte-code emulator, and constraint
      solver. CLP(R) is written entirely in C and runs on Suns, Vaxen,
      MIPS-based machines (Decstations, Silicon Graphics), IBM RS6000s and
      PS2s. Includes MS-DOS support. It is available free from IBM for
      academic and research purposes only. For more information, write
      to Joxan Jaffar, H1-D48, IBM Thomas J. Watson Research Center,
      P.O. Box 704, Yorktown Heights, NY 10598, or send email to

   Common ESP:

      CESP (Common Extended Self-contained Prolog) is an object-oriented
      system by the AI Language Research Institute, Kamakura, Japan. The
      binary is free for R & D use only -- send 1/4in CMT Sun3 and Sun4
      (Sparc) with Sun OS R4.0.3, R4.1 or R4.1.1. For more information,
      write to AI Language Research Institute Ltd, Yoshitoku Bldg, Shiba
      3-15-14, Minato-Ku, Tokyo 105, Japan, fax +81 3 3456 4418, or send

      C{*filter*}is a deductive database/logic programming system developed at
      the University of Wisconsin-Madison. It is a declarative language
      based on Horn-clause rules with extensions like SQL's group-by and
      aggregation operators, and uses a Prolog-like syntax.

      C{*filter*}is available via anonymous ftp from ftp.cs.wisc.edu.  The
      distribution includes source code compatible with AT&T C++ Version 2.0
      or later, executables for Decstations and SUN 4s, the C{*filter*}User
      Manual, and some related papers containing a language overview and
      implementation details.  (A version of the source code compatible with
      GNU g++ will be available shortly.) For more information, contact

      cu-Prolog is an experimental constraint logic programming language
      available free from Japan's Institute for New Generation Computer
      Technology (ICOT). Unlike most conventional CLP systems, cu-Prolog
      allows user-defined predicates as constraints and is suitable for
      implementing a natural language processing system based on the
      unification-based grammar. For example, the cu-Prolog developers
      implemented a JPSG (Japanese Phrase Structure Grammar) parser in
      cu-Prolog with the JPSG Working Group (the chairman is Prof. GUNJI,
      Takao of Osaka University) at ICOT. cu-Prolog is a complete
      implementation of Constraint Unification (cu), hence the name.
      cu-Prolog is implemented in C for BSD UNIX 4.2/3. Professor Sirai of
      Chukyo-University has also implemented cu-Prolog for the Apple
      Macintosh and DJ's GPP (80386/486 MS-DOS machine with the DOS
      extender). cu-Prolog is available free by anonymous ftp from

      or write to ICOT Free Software Desk, Institute for New Generation
      Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
      1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-3456-1618.

      ECLiPSe (ECRC Logic Programming System) combines the functionalities
      of several ECRC systems, including Sepia, MegaLog and CHIP.  ECLiPSe
      includes a Prolog compiler with extended functionality that is Quintus
      and SICStus compatible, a tightly connected database system based on
      the BANG file system, a CLP system containing several libraries with
      various types of constraint handling schemes, and an X11-based graphic
      system (KEGI).  The BANG database can store not only relations, but
      also any Prolog structures and programs. ECLiPSe also includes a
      profiler, user-definable syntax, metaterms as first-class citizens,
      coroutining, unlimited precision integer and rational numbers, and a
      library for generalized propagation Propia. ECLiPSe is available for a
      nominal fee of DM 300 (~$200) to all academic and government-sponsored
      organizations. It is distributed in binary form for Sun-3 and Sparc
      machines. Send orders or requests for further information to

      D-81925 Munich 81, Germany. The ECLiPSe documentation (ASCII and dvi)
      and some shareware packages ported to ECliPSe are now available by
      anonymous ftp from ecrc.de:/pub/eclipse. To subscribe to the

      eLP (Ergo Lambda Prolog) is an interpreter written by Conal Elliott,
      Frank Pfenning and Dale Miller in Common Lisp and implements the core
      of lambda Prolog (higher-order hereditary Harrop formulas). It is
      embedded in a larger development environment called ESS (the Ergo
      Support System).  eLP implements all core language feature and offers
      a module system, I/O, some facilities for tracing, error handling,
      arithmetic, recursive top-levels, on-line documentation and a number
      of extended examples, including many programs from Amy Felty's and
      John Hannan's thesis.  It should run in Allegro Common Lisp, Lucid
      Common Lisp, Kyoto Common Lisp, CMU Common Lisp and Ibuki Common Lisp.
      The eLP implementation of lambda Prolog is no longer developed or
      maintained, but it is still available via anonymous ftp from
      ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/ergo/export/ess/. The file
      ergolisp.tar.Z contains the Ergo project's extensions to Common Lisp,
      including some facilities for attributes and dealing with abstract
      syntax trees. The file sb.tar.Z contains the Ergo
      Parser/Unparser/Formatter generator and ab.tar.Z contains the Ergo
      Attribute Grammar facility. The file elp.tar.Z contains the Ergo
      implementation of lambda Prolog.  To customize grammars you need the
      sb.tar.Z file.  When you retrieve the system, please print, fill out,
      and send in a copy of the non-restrictive license you will find in the

   ESL Prolog-2 (PD Version):
      ai.uga.edu:ai.prolog/eslpdpro.zip []

      A prolog for MS-DOS systems with good performance. It deviates
      slightly from Edinburgh standard (strings "like this" are not lists
      of ASCII codes), but you can add a declaration that makes it fully
      Edinburgh-compatible. (Add the line
           :- state(token_class,_,dec10).
      at the beginning of the program.) It is a more limited version
      of the interpreter from the Commercial Version (see [2-2] below).
      [Please note that ESL Prolog is NOT a UGA product, they just run
      the machine on which a copy is made available. Anyone with
      questions should contact ESL in Oxford, England (see [2-2] below).]

      GOEDEL is intended to be a declarative successor to Prolog.  The
      main design aim of Goedel is to have functionality and expressiveness
      similar to Prolog, but to have greatly improved declarative semantics
      compared with Prolog.  This improved declarative semantics has
      substantial benefits for program construction, verification,
      debugging, transformation, and so on. Considerable emphasis is placed
      on Goedel's meta-logical facilities, since this is where Prolog is
      most deficient.  In particular, Goedel has declarative replacements
      for Prolog's var, nonvar, assert, and retract.  Goedel is a strongly
      typed language, its type system being based on many-sorted logic with
      parametric polymorphism. The release includes the Goedel system, a
      draft book on the language, a user manual, and 50 example programs.
      Goedel must be compiled in SICStus Prolog; a sparc executable is
      included in the distribution. Goedel is available by anonymous ftp
      from ftp.cs.kuleuven.ac.be:/pub/logic-prgm/goedel [] and
      ftp.cs.bris.ac.uk:/goedel []. For more information,

      this address (with your name, institution and address) to this address
      when you obtain the system.

   IC-Prolog II:
      The emulator is available at present only in Sun-4 binary form.
      Source code may be released later in the year when project

      Produced by Imperial College, IC-Prolog II is a multi-threaded
      Prolog system.  It includes a Parlog sub-system, an interface to
      TCP primitives and "mailboxes", a high level communication
      system.  These enable distributed applications (such as
      client/server systems) to be written using logic programming.
      The distribution also includes a simple expert system shell and
      the preprocessor for the Prolog language extension L&O from the
      book "Logic & Objects" by Frank McCabe.  (The sources for the
      L&O extension is also available to LPA MacProlog users in the
      subdirectory 'lo'.)

      See "I.C. Prolog II : a Multi-threaded Prolog System" by Damian
      Chu and Keith Clark and also "IC Prolog II: a Language for
      Implementing Multi-Agent Systems" by Damian Chu.  postscript
      copies of these two papers may be found in the subdirectory

      Standalone versions of the Parlog system for Sun-3 and Sun-4
      can also be found in this directory.

      information about L&O.

   Prolog/Mali (Lambda-Prolog):
      Prolog/Mali is a compiler for the higher-order language Lambda-Prolog.
      Lambda-Prolog is an extension of Prolog defined by Miller (Miller,
      D.A., and Nadathur, G., "Higher-order logic programming", 3rd
      International Conference on Logic Programming, pages 448-462, London
      1986). It is an extension of Prolog where terms are simply typed
      lambda terms and clauses are higher order hereditary Harrop formulas.
      The main novelties are universal quantification on goals and
      implication.  Prolog/Mali is a complete system which includes a C
      translator, a linker, libraries, runtime, and documentation, and runs
      on UNIX.  It requires the MALI-V06 abstract memory package.
      Prolog/Mali is available by anonymous ftp from ftp.irisa.fr:pm/.

      LIFE (Logic, Inheritance, Functions, and Equations) is an experimental
      programming language with a powerful facility for structured type
      inheritance. It reconciles styles from functional programming, logic
      programming, and object-oriented programming. It subsumes the
      functionality of its precursor languages LOGIN and Le_Fun, and may be
      seen as an extension of Prolog. The syntax of Wild_LIFE has been kept
      as close as possible to that of the Edinburgh standard for Prolog.
      LIFE offers natively high-level abstraction facilities and convenient
      data and control structures particularly well-suited for AI
      programming. LIFE implements a constraint logic programming language
      with equality (unification) and entailment (matching) constraints over
      order-sorted feature terms. The interplay of unification and matching
      provides an implicit coroutining facility thanks to an automatic
      suspension mechanism. This allows interleaving interpretation of
      relational and functional expressions which specify structural
      dependencies on objects. The Wild_LIFE interpreter is the first
      implementation of the LIFE language available to the general public.
      It is a product of the Paradise project at Digital Equipment
      Corporation's Paris Research Laboratory (DEC PRL). Wild_LIFE runs on
      DECstations (Ultrix), SparcStations and RS/6000 systems and should
      be portable to other Unix workstations. It is implemented in C,
      and includes an interface to X Windows. Wild_LIFE is available
      by anonymous ftp from gatekeeper.dec.com:pub/plan as the file

      Lolli is an interpreter for logic programming based on linear logic
      principles. Lolli, named for the linear logic implication operator
      "-o" called lollipop, is a full implementation of the language
      described in the paper "Logic Programming in a Fragment of
      Intuitionistic Linear Logic" (Josh Hodas & Dale Miller, to appear in
      Information and Computation), though it differs a bit in syntax, and
      has several built-in extra-logical predicates and operators. To
      retrieve a copy of the Lolli system, ftp (anonymously) to
      ftp.cis.upenn.edu and retrieve the file pub/Lolli/Lolli-07.tar.Z. This
      distribution includes full ML source, along with a Makefile, as well
      as several background papers and a collection of example programs. For
      those who do not have SML-NJ at their site, the authors hope to
      provide pre-built binaries for a variety of architectures. These
      binaries can be found on ftp.cis.upenn.edu in the directory
      pub/Lolli/binaries. At present Sparc and NeXT binaries are available.
      If you compile lolli on a new architecture, please contact Josh Hodas


      NCL (Net-Clause Language) is aimed at describing distributed
      computation models using term unification as a basic processing and
      control mechanism. It is embedded in standard Prolog and comprises two
      parts -- net-clauses and data-driven rules, which can communicate each
      to other and to standard Prolog programs.  A net-clause is a special
      domain in the database defining a network of nodes and links. The
      nodes are represented by Prolog compound terms. The variables
      occurring within the nodes are global logical variables, which can be
      shared within the scope of the net-clause thus playing the role of
      network links.  Two control mechanisms are implemented: a spreading
      activation scheme similar to the connectionist spreading activation
      and to the marker passing mechanism in SN (in logic programming it is
      seen as a restricted forward chaining) and a default mechanism based
      on using variables to propagate terms without being bound to them,
      thus implementing the non-monotonicity of default reasoning.  The
      Data-driven Rules implement a full scale forward chaining for Horn
      clauses.  They simulate a data-driven parallel computation, where each
      rule is a process (in contrast to the traditional parallel logic
      programming where each goal is a process). The NCL/Prolog interpreter
      along with a reference manual and a set of examples is available by
      anonymous ftp at ai.uga.edu:ai.misc/ncl.tar.Z. For more information
      contact Zdravko Markov, Institute of Informatics, Bulgarian Academy of
      Sciences Acad.G.Bonchev Street, Block 29A, 1113 Sofia, Bulgaria,

   Open Prolog:
      Open Prolog (OP) is a Prolog interpreter for the Apple Macintosh.

      It follows the so-called 'Edinburgh' syntax and supports most standard
      Prolog features, including Definite Clause Grammars.
      Extra predicates can be added via drop-in external predicates, similar to
      Hypercard's XCMDs.

      OP will work in any Macintosh from a Plus upwards, and is now
      32-bit clean.

      OP's home site is grattan.cs.tcd.ie [] in
      It is also available from other sites, such as:
      sumex-aim.stanford.edu (info-mac)
             mac.archive.umich.edu []
             nexus.yorku.ca:/pub/prolog/  []
             aisun1.ai.uga.edu []

      For more information, write to Michael Brady, Computer Science
      Department, Trinity College, Dublin 2, IRELAND, send email to

      ahead of East Coast US time).

      PCN (Program Composition Notation) is not a logic programming
      language, but it has similarities to Strand and other concurrent logic
      programming languages. PCN is a parallel programming system that
      provides a simple language for specifying concurrent algorithms,
      interfaces to fortran and C, a portable toolkit that allows
      applications to be developed on a workstation or small parallel
      computer and run unchanged on supercomputers, and integrated debugging
      and performance analysis tools. PCN includes a runtime system,
      compiler, linker, a set of standard libraries, virtual topology tools,
      a symbolic de{*filter*} (PDB), an execution profiler (Gauge), and a trace
      analysis tool (Upshot). PCN was developed at Argonne National
      Laboratory and the California Institute of Technology.  PCN runs on
      Sun4, NeXT, IBM RS/6000, SGI Iris, Intel iPSC/860, Intel Touchstone
      DELTA, Sequent Symmetry running Dynix (not PTX), and should be easy to
      port to other architectures. PCN is in the public domain and can be
      obtained by anonymous ftp from
      The distribution includes a user's guide containing a tutorial and
      reference material. For further information on PCN, please send email to

   PD Prolog 19:
      wuarchive.wustl.edu:/mirrors/msdos/prolog/prolog19.arc (IBM PC)
      aisun1.ai.uga.edu (

   PDSS KL1:
      PDSS KL1 is an implementation of FGHC, a concurrent logic programming
      language developed at ICOT in Japan. Runs on Suns, HPs, DECs, and the
      Sequent Symmetry. Available free by anonymous ftp from ftp.icot.or.jp.
      A representative paper on the language is Kazunori Ueda and Takashi
      Chikayama, "Design of the Kernel Language for the Parallel Inference
      Machine", The Computer Journal, December, 1990. For more information,

      Institute for New Generation Computer Technology, 21st Floor, Mita
      Kokusai Bldg., 4-28, Mita 1-chome, Minato-ku, Tokyo 108, Japan, fax

   Portable Prolog System:
      Portable Prolog System is an interpreter from the University of York.
      Runs on any system having a Pascal compiler. For more information,
      write to University of York, Software Distribution Officer, Department
      of Computer Science, University of York, York, YO1 5DD, UK, call +44
      (904) 59861, or fax +44 (904) 433744.


      Parallel PROLOG compiler with a reduce-OR process model.


      Stony Brook Prolog runs on Sun4, Pyramid-98x, DEC3100, SGI Iris,

      information. Two versions are available: version 2.5 is an
      interpreter for Amigas and version 3.1 is an interpreter and compiler
      for Unix and MSDOS/386.

      SB-Hilog runs in SB-Prolog and Quintus Prolog and is available on

      src.doc.ic.ac.uk [] contains SBProlog 3.1 executables for
      MS-DOS/386 in languages/sbprolog, filename sbpmsdos.zip.

      nic.funet.fi contains SBProlog executables for Amiga in

      Modular SB-Prolog (= SB-Prolog version 3.1 plus modules) is available
      by anonymous FTP from ftp.dcs.ed.ac.uk (, as the file
      pub/dts/mod-prolog.tar.Z. Includes interpreter for SPARC. For more

      [NOTE: SB-Prolog is superseded by XSB (see below) and hence is
       no longer supported by Stony Brook or the University of Arizona.]

   SWI Prolog:
      swi.psy.uva.nl:pub/SWI-Prolog/pl-1.6.12.tar.Z [] (Main source)
      [The patch level (last digit) is regularly updated and diffs between
      patch levels are located in the same directory.]
      mpii02999.ag2.mpi-sb.mpg.de:pub/tools/SWI/ [] (OS/2)

      rs3.hrz.th-darmstadt.de  []
      ftp.th-darmstadt.de:pub/programming/languages/prolog []

      SWI-Prolog includes a fast compiler, a profiler, C interface, a
      module system, libraries, and dynamic loading.
      Runs on Atari ST, Gould PN, NeXT, HP, IBM Linux, DEC MIPS, IBM
      PS/2 AIX, OS/2, IBM RS/6000, Sun3, Sun4, Sparc, and Vax.
      Written by Jan Wielemaker, SWI, University of Amsterdam,
      Roetersstraat 15, 1018 WB  Amsterdam, The Netherlands,

   Toy Prolog:
      An interpreter written in Pascal. About 3500 lines of source. Free with
      "Prolog for Programmers" by Kluzniak and Szpakowicz (Academic Press
      1985). Toy Prolog has been ported to the Atari ST by Jens

      Tricia is a free Prolog high-level emulator with interpreter available
      by email from Uppsala University. Runs on Macintosh, Sun3, Sun4, Apollo
      DN-3500/4500/5500 (OS version 10.*) and HP-730's. For more information,
      write to Uppsala University, Tricia project, Computing Science
      Department, Box 520, S-751 20 UPPSALA, Sweden, fax +46 18 521270, or

      available by anonymous ftp from
      A copy is also available in the directory
      if your site runs the Andrew File System, or by anonymous ftp from

      XSB is a Prolog-based Logic Programming System that extends the
      standard functionality of Prolog with an implementation of OLDT
      (tabling) and HiLog terms. It is a descendent of PSB-Prolog and
      SB-Prolog. OLDT resolution is useful for recursive query computation,
      allowing programs to terminate correctly in many cases where Prolog
      does not. HiLog supports a type of higher-order programming in which
      predicate symbols can be variable or structured.  This allows
      unification to be performed on the predicate symbols themselves in
      addition to the arguments of the predicates. XSB includes an
      optimizing compiler, C interface, a module system, list processing
      libraries, and dynamic loading.  XSB is a descendant of SB-Prolog.
      XSB runs on Sun3, Sun4, 386/486 PCs (Linux and 386 BSD), SGI machines
      (IRIX), HP 300/400 series (HP-UX) and NeXT, and can be compiled using
      either the GNU C compiler or the Sun C compiler. Porting XSB to any
      32-bit machine running Unix should be straightforward.  THIS IS A BETA
      RELEASE. XSB is available by anonymous ftp from
      sbcs.sunysb.edu:pub/XSB/XSB.tar.Z []. For further
      information, write to XSB Research Group, Computer Science Department,
      SUNY at Stony Brook, Stony Brook, NY 11794, or send email to

Subject: [2-2] Commercial Prolog Implementations

The Prolog Vendors' Group may be contacted by email via the Secretary,


        SPIES YAP

        AAIS Prolog
        ALS Prolog
        IQSOFT MProlog
        LPA Prolog
        Prolog III
        Quintus Prolog
        SPIES YAP

   IBM PC:
        ALS Prolog
        Arity Prolog
        Coder's Prolog
        Cogent Prolog
        Delphia Prolog
        ESL Prolog-2 (Commercial Version)
        IQSOFT MProlog
        LPA Prolog
        OU Prolog
        PDC Prolog
        Prolog III
        Quintec Prolog
        Quintus Prolog

        AIAI Edinburgh Prolog
        ALS Prolog
        BIM Prolog
        Coder's Prolog
        Delphia Prolog
        EDCAAD C-Prolog
        ESL Prolog-2 (Commercial Version)
        IQSOFT MProlog
        MU-Prolog, NU-Prolog
        Prolog III
        Quintec Prolog
        Quintus Prolog
        SICStus Prolog
        SNI Prolog
        SPIES YAP

Many of the following vendors offer educational discounts to
universities. Be sure to ask for current pricing information.

Commercial Prolog Implementations:

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

   AI Expert, Feburary 1991.

   AIAI Edinburgh Prolog is a high level prolog emulator that runs on
   Acorn R140 (RISC iX), DG AViiON (DG/VX 4.1), Vax (Berkeley Unix, VMS),
   Gould Encore (Unix), HP 9000/300 (HP-UX), MIPS RISC (RiscOS), Sequent
   (DYNIX V3), Sun 2,3,4 (SunOS-3,4). For more information, write to
   AIAI, AI Applications Institute, Software Secretary, University of
   Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, UK, call +44 (31) 650

   ALS Prolog runs on 80386 machines, including DOS ($799), Sun 386i, Xenix,
   Apple Macintosh ($499), System V Unix (Microport), Sun3, Sun4, Sparc,
   Aviion, NeXT, VAX and Delta88. It is available from Applied Logic
   Systems, Inc., PO Box 90, University Station, Syracuse, NY 13210-0090,

   to get a general information file in reply.

   Arity Prolog is an emulator with interpreter and runs on DOS ($650),
   OS/2 ($1k), Windows (extra $350), OS/2 V.2, and Windows-NT. (Note that
   Windows support means that you can write Prolog programs that
   manipulate Windows. The Windows version of Arity Prolog does not
   itself run under MS Windows.) For more information, write to Arity
   Corporation, Damonmill Square, Concord, MA 01742, call 800-722-7489
   (508-371-1243), fax 508-371-1487, or send email to

   Prolog by BIM is a prolog compiler that runs on Sun4, Sparcs and
   RS/6000. It includes Carmen, a user-interface generator for XView
   and SunView and interfaces to various databases and windowing
   packages. For more information, contact BIM Systems, Inc., 11111
   Santa Monica Boulevard, Suite 650, Los Angeles, CA 90025, call

   Outside North-America write to BIM s.a./n.v., Kwikstraat 4, B-3078
   Everberg, Belgium, call +32 2 759 59 25, fax to +32 2 759 92 09 or

   in AI Expert, January 1991.

   CIM-Prolog is a high-level emulator with interpreter for Apollo Domain
   and Sun. Also standard Prolog for Apollo Domain, IBM PC/AT, INMOS
   transputer, and Sun. A parallel version is also available.
   For more information, write to Creative Soft GmbH, Turnstrasse 10, D-8510
   Fuerth, Germany, call +49 911 7499214, or fax +49 911 747756.

   Coder's Prolog 2.0 is a Prolog Interpreter from Austin Code Works. Works
   on any system with a C compiler (it is designed for use with C programs).
   For more information, write to Austin Code Works, 11100 Leafwood Lane,
   Austin, TX 78750-3587, call 512-258-0785, fax 512-258-1342, or send email

   Cogent Prolog is an Edinburgh-standard compiler and interpreter.
   Compiled and interpreted code may be intermixed in the same program
   (for ease of debugging). The full system includes a de{*filter*}, definite
   clause grammar support, full-screen shell, standard listener, support
   for 16-bit and 32-bit protected mode, linker, .exe generator and
   royalty-free distributable runtime ($248). Compiler & interpreter
   without linker and distributable runtime ($149).  Interpreter alone
   ($49).  Also available is an interactive tutorial, the Active Prolog
   Tutor ($75) and full source code for expert system shell prototypes
   for forward/backward chaining, frames, Rete-network and more ($82).
   All are IBM-PC based. For more info or tech support, email

   MA 01775. 508-897-7332 (FAX 508-897-2784).

   Delphia Prolog is an Edinburgh-standard compiler and interpreter that
   runs on Sun3, Sun4, Sparc, RS/6000, Apollo, HP9000/300, Unigraph 68xxx,
   386/486 (SCO Unix), DecStation (Ultrix), Sony NEWS (Unix), VAX (VMS,
   Ultrix), uVax (Ultrix), VaxStation (Ultrix). Write to Delphia, 27 Avenue
   de la Republique, 38170 Seyssinet, France, call 33-76-26-68-94 or fax
   33-76-26-52-27. An earlier version was reviewed in AI Expert, January 1991
   and Feburary 1991.

   ECRC SEPIA. See ECLiPSe. SEPIA is no longer delivered as a
   stand-alone system, but as a part of ECLiPSe.

   EDCAAD C-Prolog is a prolog interpreter for Sun (SunOS), VAX (Ultrix,
   VMS), Apollo, and 68000 (Unix). For more information, write to EDCAAD,
   Department of Architecture, Edinburgh University, 20 Chambers St.,
   Edinburgh EH1 1JZ, UK, call +44 (31) 650 1000, fax +44 (31) 667 0141,

   ESL Prolog-2 (Commercial Version), is a high-level emulator with
   interpreter and compiler for Sun3, Sun4, HP9000 (Unix), RS/6000
   (Unix), VAX (VMS), IBM PC (MS-DOS, Windows 3.0/3.1), and 386. It is an
   Edinburgh standard prolog with a number of extensions. The windows
   version includes BIPs for programming windows graphics and dialogues.
   For more information, write to Expert Systems Limited (ESL), Attn:
   Nick Henfrey, The Magdalen Centre, Oxford Science Park, Oxford, OX4
   4GA, England, call +44-865-784474, fax +44-856-784475, or email

   HyperProlog. See Delphia Prolog.

   IBM PROLOG for AIX/6000 (PFA) is a high performance implementation of
   the PROLOG language, combined with a powerful programming environment,
   especially designed for the IBM RISC System/6000 under AIX. PFA was
   developed by BIM as an adaptation of ProLog by BIM for the IBM RISC
   System/6000 under AIX. It was selected by IBM Europe as their
   official PROLOG implementation for the RISC System/6000 (Program
   Number 5776-FAH). For more information: In North-America contact BIM
   systems, 11111 Santa Monica Bld, call 310-445-1500, fax to
   +310-445-1515; in Europe contact your local IBM representative.
   Elsewhere contact BIM, Kwikstraat 4, B-3078 Everberg, Belgium, call

   IF/Prolog is a Prolog interpreter and compiler with X-window and
   OSF/Motif development environment, bidirectional C interface, on-line
   hypertext manual, and X-window, OSF/Motif interfaces and various SQl
   interfaces. It runs on Apollo, Aviion 300, Macintosh (A/UX), microVAX
   2000 (Ultrix), Vax (Ultrix, VMS), VaxStation (Ultrix), DEC Alpha
   (OSF/1, VMS), HP9000, Sun3, Sun4, Sparc, UTS, AIX/370, IBM RS/6000,
   Decstation (Ultrix, OSF/1), Sequent S16, Silicon Graphics, Sony News
   (Unix), Motorola, Nixdorf, Interactive Unix, SCO UNIX, DOS-based 386
   PCs, and Windows 3.0/3.1. For more information, write to American
   InterFace Computer, Inc., One Westlake Plaza, 1705 Capital of Texas
   Highway South, Suite 200, Austin, TX 78746, call 512-327-5344, or fax

   to InterFace Computer GmbH, Garmischer Strasse 4, D-8000 Muenchen 2,
   Germany, call +49 89 5108655, fax +49 89 5108628, or email

   ILOG SOLVER (formerly called PECOS) is a C++ library that implements a
   CLP (Constraint Logic Programming) instance known as finite domains.
   This library includes:
     - Prolog control structures:  non determinism, choice points,
       backtracking and cut. Modification of user-defined objects can be
       trailed so that their state is restored when a failure occurs.
     - Finite domain logical variables, and associated constraints.
     - Finite sets logical variables and associated constraints.
     - Interval floating point variables, and associated
       constraints, analoguous to what is found in BNR Prolog.
     - Predefined search and optimisation algorithms.
   However, ILOG SOLVER does not uses unification for passing arguments,
   which enables a smooth integration with C++. For further information,

   Pecos Marketing Manager, ILOG SA, Direction Commerciale, 12 Avenue
   Raspail, 94251 Gentilly Cedex, call (33 1) 47-40-80-00, or
   fax (33 1) 47-40-04-44.

   IQSOFT MProlog is a high-level emulator with interpreter for Unix,
   Macintosh and IBM PC. Runs on Vax (Unix 4.2 BSD), 68000-based machines
   (Unix), Tektronix 4404, HP3000, and Siemens 1. For more information,
   write to IQSOFT, SZKI Intelligent Software Ltd., Iskola u. 10.,
   Budapest, H-1011, Hungary, call +36 1 201 6764, fax +36 1 201 7125, or

   LPA Prolog is a prolog compiler for IBM PCs (DOS, Windows, 386) and Apple
   Macintosh. LPA Prolog ++ is an object-oriented programming system
   based on Prolog. Write to Logic Programming Associates, Ltd., Studio
   4 Royal Victoria Patriotic Building, Trinity Road, London SW18 3SX,
   England, call +44 081-871-2016, fax +44 081-874-0449, or email

   LPA products are distributed in North America by Quintus under the
   Quintus name.

   Maxon Prolog is available for the Atari ST from the German magazine
   'ST-Computer' for 298 DM. Tel: 010 49 61 96 481811.

   MU-Prolog, NU-Prolog are prolog interpreters from the University of
   Melbourne. Source licences are available for educational institutions.
   Implemented in C for BSD Unix. Currently running on Sun3, Sun4, Vax,
   Elxsi, Encore, and SGI. For more information, write to University of
   Melbourne, MU-Prolog Distribution, Department of Computer Science,
   Parkville, Victoria 3052, Australia, call +61 3 344 7270, or send email to

   OU Prolog is a prolog interpreter from Open University for IBM PC
   (MS-DOS). Includes video, books. Ask for item PD622 and quote
   reference SA69. For more information, write to Open University,
   Learning Materials Sales Office, PO Box 188, Milton Keynes MK7 6DH, UK.

   PDC Prolog runs on IBM PCs (DOS, OS/2, Windows and SCO Unix). Formerly
   known as Turbo Prolog from Borland. Includes a native code compiler
   but is incompatible with most other prologs. Its variables are
   strongly typed, unlike most other prologs. For more information, write
   Prolog Development Center, 568 14th Street, Atlanta, GA 30318, call
   800-762-2710, (404-873-1366), fax 404-872-5243 or email

   customers may write to Prolog Development Center, A/S, Hj Holst Vej
   5A, DK-2605 Broendby, Denmark, call +45 36 72 10 22, or fax +45 36 72
   02 69. Reviewed in AI Expert January 1991.

   POPLOG is a high-level prolog emulator with interpreter. The POPLOG
   environment integrates four AI programming languages in one
   environment: Lisp, Prolog, ML and POP11. POPLOG can also load in C and
   Fortran binaries. Runs on VAX (Ultrix, VMS), VAXStation (Ultrix),
   DECStation (Ultrix), Sun 3,4, Sparc, Solbourne, HP Apollo 9000/400,
   Sparc (HP-UX), MIPS (RISCOS), Sequent Symmetry (Dynix), Apple
   Macintosh (AUX), SONY News (News-OS), and Silicon Graphics Iris
   (Irix). The academic version from Sussex University. For more
   information, write to POPLOG, Sussex University, Poplog Manager,
   School of Cognitive Sciences, Falmer, Brighton BN1 9QN, UK, call +44

   from Integral Solutions Ltd as Integral Poplog and Pop++. For more
   information, write to Integral Solutions Ltd, Unit 3, 23 Campbell
   Court, Bramley, Basingstoke Hampshire RG26 5EG, UK, call +44 256 88 20

   Functions Inc. For more informatin, write to Computable Functions Inc.,
   35 S. Orchard Drive, Amherst, MA 01002, call 413-545-3140, or fax

   on a new book on Pop-11.

   Prolog III integrates constraint programming with Prolog. It runs on
   Apple Macintosh, IBM PC (386, MS-DOS), Next, Sun3, Sun4, Sparc, HP9000,
   Apollo, RS/6000, Bull DPX, Masscomp (Unix), Vax (Ultrix, VMS),
   DecStation and MicroVAX. For more information, write to PrologIA,
   Parc Technologique de Luminy, Case 919, 13288 Marseilles cedex 09, France,
   call 33-91-26-86-36, fax 33-91-41-96-37, or send email to

   for Prolog III by PrologIA is BIM Systems, Inc.

   Prolog-86 is available from Solution Systems Inc. For more
   information, write to Solution Systems Inc., 335-D Washington Street,
   Norwell, MA 02061, call 617-337-6963, or fax 617-431-8419.

   PTC is a portable Prolog compiler based around an optimized Prolog to
   ANSI C compiler.  It runs on Sun, SGI, IBM (Unix), and HP.  PTC
   includes an integrated compiler/interpreter, project-file-based
   compilation, a Motif user interface, editor, de{*filter*}, online help,
   and support for C modules. It costs $1,495 for the development
   environment and $795 for each additional runtime library.  For more
   information, write to Paralogic Inc., 115 Research Drive, Bethlehem,
   PA 18015, call 215-861-6960, fax 215-861-8247 or email

   Quintec Prolog is a high-level emulator with interpreter for IBM PC
   (MS-DOS), Vax, VAXstation (Ultrix, VMS), Decstation (Ultrix), and
   Sparc (SunOS4.0). For more information, write to Quintec Prolog,
   Quintec Systems Ltd., Midland House, West Way, Botley, Oxford OS2 0PL,
   UK, call +44 865 791565, or fax +44 865 791595.

   Quintus Prolog is a low level emulator that runs on Unix (Sparc, sun2,
   sun3, sun4, 386i, VAX (Ultrix, VMS), uVAX (Ultrix), HP9000, Apollo,
   DecStation, IBM RT, Sequent S/27, S/81, IBM PS/2 (AIX), Intel 80386
   (Unix V.3), Intergraph, Solbourne, RS/6000, and MIPS), IBM PC (DOS,
   Windows), and Macintosh. Includes a cross-referencing facility. For
   more information, contact Quintus Corporation, 2100 Geng Road, Palo
   Alto, CA 94303, call 1-800-542-1283 (415-813-3800), fax 415-494-7608,

   To be added to the users group mailing list, send mail to

   January 1991 and February 1991 and IEEE Expert April 1991. LPA
   products are distributed in North America by Quintus under the Quintus name.

   SICStus Prolog is a Unix prolog by SICS. It is portable to most UNIX
   machines (Berkeley UNIX is preferred over System V). SICS Aurora and
   Echo is a parallel emulator for Sequent Balance, Sequent Symmetry,
   Encore Multimax, and BBN Butterfly (Unix). For more information, write
   to SICS, Swedish Institute of Computer Science, P.O. Box 1263, S-164
   28 KISTA, Sweden, call +46 8 752 15 02, fax +46 8 751 72 30, or send

   SNI Prolog Version 3 is an implementation of the Prolog language that
   is compatible with the ISO Standard draft. It is available from
   Siemens Nixdorf for Unix workstations for about DM 11100 in Germany.
   SNI Prolog runs on the SGI, SNI and Sun platforms, and ports to other
   systems, including MS-DOS, are in progress. Includes coroutines,
   finite domains, numerical and boolean constraints, garbage collection,
   incremental compilation, dynamic linking, hypertext style on-line
   help, a window environment with an integrated editor, interfaces to
   INFORMIX, Motif/XWindows and C. The constraint programming features of
   SNI Prolog provide support for solving problems from operations
   research such as dynamic resource allocation and flexible scheduling
   with numerical constraints or the verification of complex systems with
   Boolean constraints. For more information, write to Siemens Nixdorf
   Informationssysteme AG, Otto-Hahn-Ring 6, D-8000 Munich 83, Germany,
   Attn: Hans-Juergen Stenger, Systems Planning, call +49 89 636 44049,

   SPIES YAP is a high-level emulator with interpreter for Sun3, Sun4,
   VAXstation, SGI, HP9000, Apple Macintosh and Amiga (Atari ST). For
   more information, write to SPIES, Sociedade Portuguesa de, Importacao
   e Exportacao de Software, Lda Av da Republica, 46 - 2, 1000 Lisboa,
   Portugal, call +351 1 795075, or fax +351 1 775891.

   Turbo Prolog. See PDC Prolog.

Parallel Prologs:

   Densitron CS Prolog is a parallel prolog compiler and interpreter for
   IBM PCs (MS-DOS or OS/2), T414/T800 transputer (mono or multi), 386
   (Unix V), uVAX (VMS), or VAX(VMS). Also standard Prolog for MS-DOS,
   UNIX and VAX. For more information, write to Densitron, Unit 4,
   Aiport Trading Estate, Biggin Hill, Kent, TN16 3BW, UK, call +44 959
   76331, or fax +44 959 71017.

   Paralogic is a parallel implementation of the Clocksin and Mellish
   Prolog. It runs on DOS-based PCs or Apple Macintoshes with the INMOS
   Transputers. For more information, write to Paralogic Inc., 115
   Research Drive, Bethlehem, PA 18015, call 215-861-6960, fax

   distributed by Computer Systems Architects, 905 N. University Avenue,
   Provo, UT 84604-3422, 800-753-4272 (801-374-2300), or fax 801-374-2306
   as n-parallel Prolog.

   PARLOG is a parallel emulator from Imperial College for the Sequent
   Balance, Sequent Symmetry, Encore Multimax, Alliant FX (Unix), Sun
   (Unix, 1 processor). For more information, write to Imperial College,
   Department of Computing, Parlog Distribution Secretary, 180 Queen's
   Gate, London SW7 2BZ, UK, call +44 71 589 5111 x7537, fax +44 71 589

   versions of PARLOG for the Sun-3 and Sun-4 are now available free of
   charge.  Please refer to the entry regarding IC-Prolog II in this
   Resource Guide. Parallel Logic Programming produces PC-PARLOG and
   MacPARLOG for the IBM PC and Macintosh computers.  For more
   information contact Parallel Logic Programming Ltd., PO Box 49,
   Twickenham, Middlesex TW2 5PH, UK or call +44 454 201 652.

   Strand-88 is a parallel emulator for Sun3, Sun4, Sparc BBN Butterfly,
   GPT2000, Cogent Multimax, Intel iPSC/2, iPSC/860, MIPS RiscStation,
   Sequent Symmetry Balance (Unix System V or Mach, Helios) and
   communication component from CSTools, Express in some cases. Also
   Transputer systems PC hosted systems from Paracom, Telmat and others,
   Unix hosted systems from Meiko, Paracom, Telmat and others, Apple
   Macintosh, Atari ATW, and NeXT. Price dependent on configuration and
   scale of target machine. For more information, write to Strand
   Software Technologies Ltd., Ver House, London Rd, Markyate, Herts AL3
   8JP, UK, call +44 582 842424, fax +44 582 840282, or send email to

   SICS Aurora and Echo. See SICStus Prolog above.

Object Oriented Systems:

   LAP is an object-oriented system by Elsa. For more information, write
   to Elsa Software, La Grange Dame Rose, 6 ave du Marechal Juin, 92366
   Meudon-La-Foret Cedex, France, call +33 (1) 46 30 24 55, fax +33 (1)

   SPIRAL is an object oriented system by CRIL for Sun3 and Sun4 under
   Unix. For more information, write to CRIL, Conception et Realisation,
   Industriel de Logiciel, 146 bd de Valmy 92707, Colombes Cedex, France,
   call +33 1 47 69 53 67, or fax +33 1 47 69 53 99.

Constraint Systems:

   CLP(R) is a constraint system from Monash University for VAX, Sun, and
   Pyramid (Unix). Costs $150. For more information, write to Monash
   University, CLP(R) Distribution, Department of Computer Science,
   Clayton, Victoria 3168, Australia, or send email to

   Trilogy is a constraint system developed by Complete Logic Systems. It
   costs $100. For more information, write to Complete Logic Systems, Inc,
   741 Blueridge Avenue, V7R 2J5, North Vancouver BC, Canada, or call
   604-986-3234. [This phone number was recently disconnected -- does
   the company still exist?]

   VS Trilogy is a Prolog compiler available from Vertical Software for
   $395. For more information, write to Vertical Software Ltd., 14-636
   Clyde Ave, W. Vancouver, BC, V7T 1E1, Canada, call 604-925-0321, or fax


;;; *EOF*

Tue, 30 Jan 1996 23:08:37 GMT  
 [ 1 post ] 

 Relevant Pages 

1. FAQ: Prolog Implementations 2/2 [Monthly posting]

2. FAQ: Prolog Implementations 2/2 [Monthly posting]

3. FAQ: Prolog Implementations 2/2 [Monthly posting]

4. FAQ: Prolog Implementations 2/2 [Monthly posting]

5. FAQ: Prolog Implementations 2/2 [Monthly posting]

6. FAQ: Prolog Implementations 2/2 [Monthly posting]

7. FAQ: Prolog Implementations 2/2 [Monthly posting]

8. FAQ: Prolog Implementations 2/2 [Monthly posting]


Powered by phpBB® Forum Software