File: README

package info (click to toggle)
swi-prolog 3.1.0-2
  • links: PTS
  • area: main
  • in suites: slink
  • size: 8,772 kB
  • ctags: 12,869
  • sloc: ansic: 43,657; perl: 12,577; lisp: 4,359; sh: 1,534; makefile: 798; awk: 14
file content (96 lines) | stat: -rw-r--r-- 3,377 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
		    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)
		Thu Nov 10 10:03:46 1994 (1.9.4)

AUTHOR
======
	Jan Wielemaker
	SWI
	University of Amsterdam
	Roetersstraat 15
	1018 WB  Amsterdam
	The Netherlands
	E-mail: jan@swi.psy.uva.nl

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)
./lisp		GNU-Emacs Lisp sources for a better Prolog-mode
		(See swi-prolog19.el for using Emacs-19)


BUILDING SWI-Prolog
===================

As from version 1.9.2, SWI-Prolog is configured using GNU autoconf.  The
file  INSTALL  gives  the  generic    autoconf  installation  procedure.
INSTALL.notes contains some SWI-Prolog specific hints.  Read this before
running ./configure.  Finally, INSTALL.problems contains  some hints for
if things go wrong.

If SWI-Prolog does not automatically configure, you may wish to download
ftp://swi.psy.uva.nl/pub/SWI-Prolog/old-md-files.tgz to check the manual
configuration.


SWI-Prolog and 8-bit CHARACTERS
===============================

If you built SWI-Prolog  using  the   readline  library,  by default you
cannot enter 8-bit characters from  the   terminal  as  the GNU readline
library  maps  any   character   with   the    high-bit   set   to   ESC
<character-with-8bit-cleared>. To fix this, create a file ~/.inputrc and
add the following lines:

################################################################
set convert-meta off
set output-meta  on
################################################################

See readline(3) for details.


GNU-EMACS INTERFACE
===================

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.


MODIFYING SWI-Prolog
====================

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 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 incorporate.

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

PROLOG PROGRAMS

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.