packages icon
		    SWI-Prolog Distribution Directory

** Last update: Fri Dec 18 13:57:18 1992 (1.6.7)
		Mon Jun 28 14:42:06 1993 (1.7.0)
		Mon Nov 22 15:23:54 1993 (1.8.5)

	Jan Wielemaker
	University of Amsterdam
	Roetersstraat 15
	1018 WB  Amsterdam
	The Netherlands


The SWI-Prolog source tree consists of the following directories:

./src		C sources
./src/gnu	GNU-Emacs unexec() sources (MODIFIED VERSION)
./boot		Prolog system predicates defined in Prolog
./library	Prolog user's library
./include	Include files.  Mostly for handling foreign-code
./man		Manual (LaTeX)
./lisp		GNU-Emacs Lisp sources for a better Prolog-mode
		(See swi-prolog19.el for using Emacs-19)


Using gcc

The C-compiler used for some architecture is defined in md-<machine.h>
using the macro M_CC

When available, please use the GNU-C  compiler gcc.  SWI-Prolog has been
developed with this compiler.  Do not use  version 2.0, as this compiler
crashes on pl-wam.c.  Version 2.1  is   ok.   Versions  2.5.[123] have a
broken optimiser.  When nothingelse  is   available,  recompile pl-wam.c
without optimisation as a work-around.  SWI-Prolog  makes use of GCC-2's
facilities to deal with  label   addresses,  improving  performance with
about 10%.



The current version of SWI-Prolog uses the GNU library readline to allow
for editing input lines.  The library itself   is  *not* part of prolog.
It  is  available  from  may  ftp  sites   as  well  as  from  the  file
librl-11.tar.z in the SWI-Prolog ftp distribution directory.

If you don't have it, compile and  install this library according to the
instructions there.  If it is not installed in one of the default paths,
edit the definitions of M_LDFLAGS and M_CFLAGS in md.h.

The readline-1.1.tgz (or similar named) is a   bit outdated and does not
compile on all machines.  If you  have   trouble,  check the readline as
supplied with GDB.  If  you're  desparate   and  using  SWI-Prolog  as a
GNU-Emacs inferior process anyway drop the O_READLINE flag from md.h.


First, make a directory  for  the   specified  machine  using  the SETUP
script.  The argument to SETUP describes   the  machine you are running.
This machine is described in the file   src/md-MACHINE.h.  To get a list
of architectures run SETUP without arguments.

Next, edit config.h:

M_SYSTEMHOME	absolute path pointing to this directory
M_DEFSTARTUP	Personal startup file base-name
M_BINDIR	Installation directory for executables
M_PROLOG	Name of the resulting program

Next, check src/md-MACHINE.h for things specific to your machine.

	1) cd ./MACHINE
	2) make


	1) cd ./MACHINE
	2) make install


	1) cd ./MACHINE
	2) make clean

Automount filesystems; symbolic links

When  the  installation directory is  on  an   automount filesystem or
symbolic  links  provide     multiple  absolute  pathnames   for   the
installation directory, the Unix  environment variable CANONICAL_PATHS
may be set to a ':' separated list of `canonical paths.   For example,
Prolog is installed   in /home/languages/pl.   Typing  'pwd'   in this
directory yields /tmp_mnt/home/languages/pl.  Correct installation may
be achieved by typing

	% setenv CANONICAL_PATHS /home/languages/pl

Prepare for static loading (runtime environment, PCE)

When Prolog is to be mixed with  C-code using static  loading (such as
for the graphical environment XPCE), the runtime environment has to be
created.  After the installation, do

	1) cd ./MACHINE
	2) make runtime


In the directory ./lisp, you'll  find   an  interface to GNU-EMACS.  The
file README.SWI provides installation directives.    In  consists of the
Quintus Prolog gnu-emacs interface with an additional file swi-prolog.el
that redefines and adds some things.   See also the swi-prolog19.el file
for using Emacs-19.


SunOs 3.x

Ancient  users of   SunOs 3.x  should set  the  corresponding  flag in
md-sun3.h. Dynamic stacks are not provided under SunOs 3.x.

SunOs 4

This is the development platform.  Should compile ok, but SWI-Prolog
does *not* compile with the System-V environment.

AIX (RS6000)

Saved states are not very robust. It has been reported that the states
restore ok until the system is rebooted. The trouble is that it appears
impossible to force *static linking* with AIX.


While compiling pl-load.c, some architectures report an error regarding
the symbol N_TXTOFF. If this happens, drop O_FOREIGN to 0 in md-sgi.h
and recompile.


You are free to modify SWI-Prolog under the licence terms specified in
the  file LICENCE.  You  may  wish the  other    users can share  your
improvements.  For code   to be  accepted   as part of  the   official
distribution, it should be  written in the same  style as  the rest of
the SWI-Prolog  sources.  I do  not claim  this style  to be  the best
available, but I  want  the entire source to  have a consistent style.
Please document the modifications and  if reasonably possible indicate
them using #if ... #endif.  Please do  not send `diff' files  to me, I
probably do  not have  the same version   of  the sources, so complete
files, with the changes  indicated with #if ...  #endif are  easier to

If your change is accepted, you  will be appropriately acknowledged in
the distribution.


Additions to the library and   other stand alone Prolog programs  have
less strick   conditions.   Add  comments such  that   other users can
understand the program or library module  and ensure the files provide
sufficient  documentation on its   origin,  waranty and   distribution
conditions.  Such contributions are copied verbatim and not maintained
by me.