-
Notifications
You must be signed in to change notification settings - Fork 0
/
README.txt
55 lines (37 loc) · 1.55 KB
/
README.txt
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
SWI-Prolog Distribution Directory
** Last update: Jan 27, 2011 (Version 5.11.14)
AUTHOR
======
Jan Wielemaker
HCS (Formery SWI) Web and Media
University of Amsterdam VU University Amsterdam
Kruislaan 419 De Boelelaan 1081a
1098 VA Amsterdam 1081 HV Amsterdam
The Netherlands
E-mail: jan@swi-prolog.org
A list of contributors can be found at
http://www.swi-prolog.org/Contributors.html
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 GIT), a FAQ,
mailinglist archive, various additional packages, etc.
http://www.swi-prolog.org
DOCUMENTATION
=============
Documentation is available on-line using the help/1 and apropos/1
commands. HTML and PDF versions of the manual are available from the
SWI-Prolog download page. The add-on packages are documented in the
doc/packages directory of the installed system. Many people opt for the
online manual at the address below. This manual includes autocompletion
to simplify searching:
http://www.swi-prolog.org/pldoc/index.html
If you cannot reach the internet you can install the website locally.
The website source is in the git plweb.git:
% git clone git://www.swi-prolog.org/home/pl/git/plweb.git
The web-server software is SWI-Prolog itself (this requires many of the
default packages installed). After downloading do:
% cd plweb
% swipl -s load.pl
?- server.
This starts the server at its default port: 3040.