CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Free/Shareware Prolog implementations


   adapdpro/  ADA PD Prolog: Slow Prolog for MS-DOS systems.
   aquarius/  Aquarius Prolog: Information about Aquarius 
              Prolog, a free (with license) high-performance 
              portable implementation of Prolog.
   beta_pl/   Beta Prolog: Fast and portable Prolog emulator 
              and compiler.
   bin_pl/    BinProlog: Fast, small, and portable Prolog 
   boiz_pl/   Prolog interpreters from Boizumault's book
   eclipse/   ECLiPSe: ECRC Logic Programming System
   elp/       eLP: Ergo Lambda Prolog
   eslpdpro/  ESL Prolog-2 (PD Version): Good performance 
              public domain (limited) version of a Prolog for 
              MS-DOS systems.
   frolic/    FROLIC: Prolog implemented in Common Lisp and 
              integrated with the FROBS knowledge 
              representation system
   icp/       ICP: IC-Prolog ][, a multi-threaded Prolog 
              implementation suitable for distributed 
   jbprolog/  JB-Prolog: Fast Prolog Demo System for the 
   lmprolog/  LM-Prolog: Prolog implemented in ZetaLisp for 
              Lisp Machines.
   lp/        LP: Lambda Prolog
   mac_pl/    MacProlog: Demonstration version of LPA 
   op/        Open Prolog: Prolog interpreter for the Apple 
   pdprolog/  A.D.A. PD Prolog: A slow Prolog for MS-DOS 
   pm/        Prolog/Mali: Compiler for higher-order Lambda 
   ppicl/     FJ PPiCL: Portable Prolog in Common Lisp from 
   prolog2r/  PrologIIR: Un interpreteur de Prolog.
   prolog68/  Prolog68: WAM-based Prolog for Atari ST and TT 
   sbprolog/  SB-Prolog: Stony Brook Prolog
   schelog/   Schelog: Embedding of Prolog in Scheme
   scm_pl/    Prolog implemented in Scheme, with interval 
   sicstus/   SICStus: Information about SICStus Prolog for 
   swi_pl/    SWI Prolog: Fairly complete Edinburgh-style 
   tricia/    Tricia Prolog: Edinburgh-style Prolog for 
              Macintosh (and UNIX).
   unsw_pl/   UNSW Prolog: Prolog for the Amiga
   wamcc/     WAMCC: WAM-based Prolog to C compiler
   xsb/       XSB Prolog: Prolog extended with OLDT (tabling) 
              and Hilog terms.
Sources for a large collection of Prolog implementations.
CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Programming Languages!Prolog, Prolog!Implementations
Last Web update on Mon Feb 13 10:35:19 1995