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