CMU Artificial Intelligence Repository
SWI Prolog: Fairly complete Edinburgh-style Prolog.
lang/prolog/impl/prolog/swi_pl/
SWI-Prolog is a fairly complete Edinburgh-style Prolog. It includes a
fast compiler, a profiler, a transparent and fast C interface (both
Prolog calling C and C calling Prolog), a Quintus-like module system,
garbage collector, stack expander, and dynamic autoloading of
libraries. It also includes a GNU-readline and GNU-Emacs interface.
SWI-Prolog has a large set of built-in predicates in common with
C-Prolog, Quintus and SICStus Prolog, so programs written for
SWI-Prolog should be fairly portable to other prolog implementations.
SWI-Prolog has no built-in facilities for graphics, but XPCE works
with SWI-Prolog. (XPCE is a language-independent interface to X11 that
provides a high level of abstraction.)
The system has been very stable since version 1.5. Most of the
changes since then are new features and minor bug fixes.
See Also:
lang/prolog/gui/xpce/
Origin:
swi.psy.uva.nl:/pub/SWI-Prolog/ [145.18.114.17] (Main source)
as the file pl-XXX.tar.Z, where XXX is the version number.
and as the file win-pl.zip (MS Windows 3.1 application),
xos.tgz (DOS File I/O redefinition) and GNU readline
OS/2 port (version 1.6.12, 3-MAY-93):
mpii02999.ag2.mpi-sb.mpg.de:pub/tools/SWI/ [139.19.20.250]
MSDOS port (version 1.5.0, 5-NOV-92):
rs3.hrz.th-darmstadt.de:/pub/machines/ms-dos/386/swi-prolog/
[130.83.55.75]
ftp.th-darmstadt.de:pub/programming/languages/prolog/
[130.83.22.253]
Version: 1.9 (5-JUN-94); 1.8.7 (31-JAN-93)
Requires: The MS-DOS port must be run in true 386-mode (it can't
be run under MS Windows) and lacks some of the
functionality of the Unix versions. It is recommended
that you run Linux instead.
GNU-readline (kernel later than 99pl6) must be installed.
It fails on gcc-2.5.[0123], but others are ok.
Ports: 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.
Copying: Copyright (C) 1990 by Jan Wielemaker, University of Amsterdam.
Use, copying, modification, and distribution permitted,
under a GPL-style license. (See the license.txt file for
details.)
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Mailing List: prolog@swi.psy.uva.nl
To be added to the list, send mail to
prolog-request@swi.psy.uva.nl
Author(s): Jan Wielemaker
Social Science Informatics (SWI)
University of Amsterdam
Roetersstraat 15, 1018 WB
Amsterdam, The Netherlands
OS2 port:
Andreas Toenne
Max-Planck-Institut f"ur Informatik
Im Stadtwald
6600 Saarbr"ucken
MS-DOS port:
R. Kym Horsell
and .
Keywords:
Authors!Horsell, Authors!Toenne, Authors!Wielemaker,
Compilers!Prolog, Edinburgh, Interpreters!Prolog, Logic,
Programming Languages!Prolog, Prolog!Atari, Prolog!IBM PC,
Prolog!Implementations, Prolog!UNIX, SWI, SWI-Prolog,
Symbolic, Univ. of Amsterdam
References: ?
Last Web update on Mon Feb 13 10:35:15 1995
AI.Repository@cs.cmu.edu