Index of /pub/Linux/devel/lang/prolog/swi

Icon  Name                          Last modified      Size  Description
[DIR] Parent Directory - [DIR] ALPHA/ 08-Apr-2004 20:39 - [TXT] ANNOUNCE 01-Sep-2003 00:00 1.4K [DIR] BETA/ 26-Feb-2002 15:03 - [TXT] COPYING 22-Feb-2000 00:00 18K [TXT] ChangeLog 18-Jan-2004 09:40 192K [DIR] DailyBuilds/ 07-Apr-2004 02:06 - [TXT] README 29-Sep-2000 00:00 4.1K [   ] README.GUI 26-Jan-1999 00:00 1.0K [TXT] README.WIN 26-Jan-1999 00:00 4.1K [TXT] README.win32s 05-Mar-1996 00:00 954 [   ] VERSION 18-Jan-2004 09:40 6 [DIR] binaries/ 26-Feb-2002 15:02 - [DIR] emacs19/ 27-Feb-2002 03:47 - [DIR] 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 [DIR] readline/ 06-May-1996 23:00 - [DIR] refman/ 26-Feb-2002 15:02 - [DIR] refman3.2/ 27-Feb-2002 03:46 - [DIR] refman3.3/ 26-Feb-2002 15:02 - [DIR] refman3.4/ 26-Feb-2002 15:02 - [DIR] 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 [DIR] 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.