-
Notifications
You must be signed in to change notification settings - Fork 0
Debian packaging for swi-prolog
License
ZheyuJi/pkg-swi-prolog
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
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.
About
Debian packaging for swi-prolog
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published