Welcome to ftp.nluug.nl Current directory: /ibiblio/devel/lang/prolog/swi/ |
|
Contents of README: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: [email protected] 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 [email protected]. 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. |
Name Last modified Size
Parent Directory - ALPHA/ 09-Apr-2004 02:39 - BETA/ 26-Feb-2002 21:03 - DailyBuilds/ 07-Apr-2004 08:06 - binaries/ 26-Feb-2002 21:02 - emacs19/ 27-Feb-2002 09:47 - mail-archive/ 08-Oct-1997 10:02 - readline/ 07-May-1996 05:00 - refman/ 26-Feb-2002 21:02 - refman3.2/ 27-Feb-2002 09:46 - refman3.3/ 26-Feb-2002 21:02 - refman3.4/ 26-Feb-2002 21:02 - refman4.1/ 26-Feb-2002 21:02 - win32s/ 27-Feb-2002 09:47 - ANNOUNCE 01-Sep-2003 06:00 1.4K COPYING 22-Feb-2000 06:00 18K ChangeLog 18-Jan-2004 15:40 192K README 29-Sep-2000 06:00 4.1K README.GUI 26-Jan-1999 06:00 1.0K README.WIN 26-Jan-1999 06:00 4.1K README.win32s 05-Mar-1996 06:00 954 VERSION 18-Jan-2004 15:40 6 pl-1.8.11.tar.gz 14-Apr-1994 06:00 885K pl-1.9.5.tar.gz 13-Feb-1995 06:00 596K pl-2.1.14.tar.gz 06-Dec-1995 06:00 703K pl-2.5.6.tar.gz 19-Mar-1996 06:00 797K pl-2.7.20.tar.gz 10-Feb-1997 06:00 894K pl-2.8.6.tar.gz 14-May-1997 06:00 935K pl-2.9.10.tar.gz 15-Apr-1998 06:00 1.0M pl-3.1.2.tar.gz 02-Dec-1998 06:00 1.0M pl-3.2.9.tar.gz 02-Aug-1999 06:00 1.0M pl-3.3.10.tar.gz 01-Sep-2000 06:00 1.1M pl-3.4.5.tar.gz 29-Jan-2001 06:00 1.1M pl-4.0.11.tar.gz 10-Dec-2001 21:01 5.7M pl-5.0.7.tar.gz 05-Jun-2002 06:00 6.1M pl-5.0.8.tar.gz 07-Jul-2002 06:00 6.3M pl-5.0.10.tar.gz 26-Sep-2002 06:00 6.1M pl-5.2.0.tar.gz 18-Jul-2003 06:00 6.5M pl-5.2.6.tar.gz 15-Aug-2003 06:00 6.8M pl-5.2.7.tar.gz 01-Sep-2003 06:00 6.8M pl-5.2.8.tar.gz 15-Sep-2003 06:00 6.8M pl-5.2.9.tar.gz 16-Oct-2003 20:18 6.8M pl-5.2.10.tar.gz 27-Oct-2003 21:01 6.8M pl-5.2.11.tar.gz 29-Nov-2003 22:11 6.8M pl-5.2.12.tar.gz 21-Jan-2004 02:17 6.8M pl-5.2.13.tar.gz 29-Jan-2004 22:29 6.8M pl-lite-4.0.11.tar.gz 10-Dec-2001 19:47 1.1M pl-lite-4.1.0.tar.gz 14-Jan-2002 20:10 1.2M pl-lite-5.0.9.tar.gz 26-Jul-2002 06:00 1.3M pl-lite-5.0.10.tar.gz 26-Sep-2002 06:00 1.3M unz51x.exe 04-Oct-1994 05:00 86K w32pl282.exe 04-Apr-1997 07:00 642K w32pl297.exe 06-Feb-1998 06:00 752K w32pl299.exe 24-Mar-1998 06:00 754K w32pl312.exe 01-Dec-1998 06:00 895K w32pl328.exe 14-Jun-1999 06:00 941K w32pl345.exe 31-Jan-2001 06:00 1.0M w32pl526.exe 15-Aug-2003 06:00 3.2M w32pl527.exe 01-Sep-2003 06:00 3.2M w32pl528.exe 19-Sep-2003 06:00 3.3M w32pl529.exe 16-Oct-2003 20:17 3.3M w32pl2114.zip 06-Dec-1995 06:00 477K w32pl2712.zip 08-Aug-1996 06:00 602K w32pl2714.exe 11-Sep-1996 06:00 748K w32pl2714.zip 10-Sep-1996 06:00 629K w32pl2715.exe 30-Oct-1996 06:00 753K w32pl2719.exe 29-Jan-1997 06:00 638K w32pl2911.exe 06-May-1998 06:00 746K w32pl3310.exe 15-Sep-2000 06:00 1.1M w32pl4011.exe 05-Dec-2001 17:10 3.5M w32pl5010.exe 27-Sep-2002 06:00 3.8M w32pl5210.exe 27-Oct-2003 21:11 3.3M w32pl5211.exe 01-Dec-2003 21:56 3.3M w32pl5212.exe 21-Jan-2004 02:17 3.3M w32pl5213.exe 29-Jan-2004 22:29 3.3M w32unzip.exe 10-Nov-1995 06:00 107K winpl195.zip 20-Jan-1995 06:00 412K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!