Index of /pub/Linux/devel/lang/prolog/swi
Name Last modified Size Description
Parent Directory -
ALPHA/ 08-Apr-2004 20:39 -
ANNOUNCE 01-Sep-2003 00:00 1.4K
BETA/ 26-Feb-2002 15:03 -
COPYING 22-Feb-2000 00:00 18K
ChangeLog 18-Jan-2004 09:40 192K
DailyBuilds/ 07-Apr-2004 02:06 -
README 29-Sep-2000 00:00 4.1K
README.GUI 26-Jan-1999 00:00 1.0K
README.WIN 26-Jan-1999 00:00 4.1K
README.win32s 05-Mar-1996 00:00 954
VERSION 18-Jan-2004 09:40 6
binaries/ 26-Feb-2002 15:02 -
emacs19/ 27-Feb-2002 03:47 -
mail-archive/ 08-Oct-1997 04:02 -
pl-1.8.11.tar.gz 14-Apr-1994 00:00 885K
pl-1.9.5.tar.gz 13-Feb-1995 00:00 596K
pl-2.1.14.tar.gz 06-Dec-1995 00:00 703K
pl-2.5.6.tar.gz 19-Mar-1996 00:00 797K
pl-2.7.20.tar.gz 10-Feb-1997 00:00 894K
pl-2.8.6.tar.gz 14-May-1997 00:00 935K
pl-2.9.10.tar.gz 15-Apr-1998 00:00 1.0M
pl-3.1.2.tar.gz 02-Dec-1998 00:00 1.0M
pl-3.2.9.tar.gz 02-Aug-1999 00:00 1.0M
pl-3.3.10.tar.gz 01-Sep-2000 00:00 1.1M
pl-3.4.5.tar.gz 29-Jan-2001 00:00 1.1M
pl-4.0.11.tar.gz 10-Dec-2001 15:01 5.7M
pl-5.0.7.tar.gz 05-Jun-2002 00:00 6.1M
pl-5.0.8.tar.gz 07-Jul-2002 00:00 6.3M
pl-5.0.10.tar.gz 26-Sep-2002 00:00 6.1M
pl-5.2.0.tar.gz 18-Jul-2003 00:00 6.5M
pl-5.2.6.tar.gz 15-Aug-2003 00:00 6.8M
pl-5.2.7.tar.gz 01-Sep-2003 00:00 6.8M
pl-5.2.8.tar.gz 15-Sep-2003 00:00 6.8M
pl-5.2.9.tar.gz 16-Oct-2003 14:18 6.8M
pl-5.2.10.tar.gz 27-Oct-2003 15:01 6.8M
pl-5.2.11.tar.gz 29-Nov-2003 16:11 6.8M
pl-5.2.12.tar.gz 20-Jan-2004 20:17 6.8M
pl-5.2.13.tar.gz 29-Jan-2004 16:29 6.8M
pl-lite-4.0.11.tar.gz 10-Dec-2001 13:47 1.1M
pl-lite-4.1.0.tar.gz 14-Jan-2002 14:10 1.2M
pl-lite-5.0.9.tar.gz 26-Jul-2002 00:00 1.3M
pl-lite-5.0.10.tar.gz 26-Sep-2002 00:00 1.3M
readline/ 06-May-1996 23:00 -
refman/ 26-Feb-2002 15:02 -
refman3.2/ 27-Feb-2002 03:46 -
refman3.3/ 26-Feb-2002 15:02 -
refman3.4/ 26-Feb-2002 15:02 -
refman4.1/ 26-Feb-2002 15:02 -
unz51x.exe 04-Oct-1994 00:00 86K
w32pl282.exe 04-Apr-1997 00:00 642K
w32pl297.exe 06-Feb-1998 00:00 752K
w32pl299.exe 24-Mar-1998 00:00 754K
w32pl312.exe 01-Dec-1998 00:00 895K
w32pl328.exe 14-Jun-1999 00:00 941K
w32pl345.exe 31-Jan-2001 00:00 1.0M
w32pl526.exe 15-Aug-2003 00:00 3.2M
w32pl527.exe 01-Sep-2003 00:00 3.2M
w32pl528.exe 19-Sep-2003 00:00 3.3M
w32pl529.exe 16-Oct-2003 14:17 3.3M
w32pl2114.zip 06-Dec-1995 00:00 477K
w32pl2712.zip 08-Aug-1996 00:00 602K
w32pl2714.exe 11-Sep-1996 00:00 748K
w32pl2714.zip 10-Sep-1996 00:00 629K
w32pl2715.exe 30-Oct-1996 00:00 753K
w32pl2719.exe 29-Jan-1997 00:00 638K
w32pl2911.exe 06-May-1998 00:00 746K
w32pl3310.exe 15-Sep-2000 00:00 1.1M
w32pl4011.exe 05-Dec-2001 11:10 3.5M
w32pl5010.exe 27-Sep-2002 00:00 3.8M
w32pl5210.exe 27-Oct-2003 15:11 3.3M
w32pl5211.exe 01-Dec-2003 15:56 3.3M
w32pl5212.exe 20-Jan-2004 20:17 3.3M
w32pl5213.exe 29-Jan-2004 16:29 3.3M
w32unzip.exe 10-Nov-1995 00:00 107K
win32s/ 27-Feb-2002 03:47 -
winpl195.zip 20-Jan-1995 00:00 412K
SWI-Prolog Distribution Directory
** Last update: Thu Sep 28 2000 (Version 3.3.10)
AUTHOR
======
Jan Wielemaker
SWI
University of Amsterdam
Roetersstraat 15
1018 WB Amsterdam
The Netherlands
E-mail: jan@swi.psy.uva.nl
WEB-HOME
========
Please find the up-to-date information on SWI-Prolog at the link below.
You will find the latest sources (also accessible through CVS), a FAQ,
mailinglist archive, various additional packages, etc.
http://www.swi.psy.uva.nl/projects/SWI-Prolog/
DIRECTORIES
===========
The SWI-Prolog source tree consists of the following directories:
./src C sources
./boot Prolog system predicates defined in Prolog
./library Prolog user's library
./include Include files. Mostly for handling foreign-code
./man Manual (LaTeX)
BUILDING SWI-Prolog
===================
Unix
----
SWI-Prolog configuration under Unix is driven by the GNU-autoconf
package. Please check INSTALL for the generic installation options and
INSTALL.notes for some SWI-Prolog specific things.
SWI-Prolog should compile using any Unix-type system with 32 or larger
(64) word-length and an ANSI-compliant C-compiler.
If SWI-Prolog crashes during the installation, the most likely cause is
that the detection of mmap() for stack-memory management or handling
exception-based stack guarding is not configured properly. If you are
knowledgeable in these issues, check src/test/mmap.c and src/pl-setup.c.
Otherwise, run configure using the options below, first to get rid of
exception-handling and second to fall back to malloc() based stack
management.
./configure --diable-segv-handling
./configure --disable-mapped-stacks
Run `make clean && make' to recompile after reconfiguration.
MS-Windows
----------
Unless there is a special reason, please use the binary distribution on
MS-Windows.
If you insist using the sources, the windows version is build using MSVC
5.0. If you have this version, load src\pl.dsw and recompile those parts
of the system you need. The executables are created in the `bin'
directory, the import-libraries in the `lib' directory. They can be run
from this location. It is adviced to copy them into a binary
distribution to arrive at a properly configured system.
GNU-EMACS INTERFACE
===================
The Prolog-mode of GNU-Emacs is rather poor. Personally, I use XPCE (see
Prolog WWW home). For those whishing a proper Prolog mode for GNU-Emacs,
I got the following pointers from Sam Steel:
``Fortunately there seems to be such an interface: though I suspect you
know it and know of some problem I have missed. Though I have only used
it for a short while, it seems to work for me. The only problem is that
the interaction between it and the pager for the online help is
imperfect.
It is the prolog.el mode for Emacs-20 at
http://www.freesoft.cz/~pdm/software/emacs/prolog-mode/
There is also apparently a version for Emacs-19 at
http://w1.858.telia.com/~u85810764/Prolog-mode/index.html
but I have not used this.
Both appear to be freely redistributable. SWI Prolog is one of the
flavours of Prolog explicitly handled.''
MODIFYING SWI-Prolog
====================
You are free to modify SWI-Prolog under the GPL-2. As we also provide
licenses for use with proprietary software, your changes will only be
integrated into the base system if you grant us the copyright.
CONTRIBUTING
============
There are a number of ways in which you can contribute to the success of
SWI-Prolog. If you encounter problems or have suggestions, please send
them to prolog-bugs@swi.psy.uva.nl. If you write applications, please
acknowledge the use of SWI-Prolog in your application. If your
application has a web-page, please link to the SWI-Prolog home page (see
the top of this file). If you write reusable libraries, consider
providing them to the SWI-Prolog user community as a package (see the
SWI-Prolog home page).
Finally, if you use SWI-Prolog for commercial purposes, consider buying
a commercial license. It allows you to use the system without the
restrictions imposed by the GPL and helps us to find the resources for
maintaining and improving SWI-Prolog.