SWI-Prolog Distribution Directory ** Latest update: Aug 25, 2014 (Version 7.1.21) 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 https://github.com/SWI-Prolog/plweb 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.