The pkg-swi-prolog from tkosan

View Code? Open in Web Editor NEW

Debian packaging for swi-prolog

License: GNU Lesser General Public License v2.1

Makefile 1.19% Prolog 35.96% Shell 0.93% Perl 6 0.39% HTML 7.56% M4 0.06% C 50.31% C++ 0.33% Perl 0.05% CSS 0.04% Java 1.53% Batchfile 0.14% TeX 1.22% JavaScript 0.01% Protocol Buffer 0.01% Web Ontology Language 0.04% Clean 0.01% Roff 0.21% GDB 0.01% Mask 0.01%

pkg-swi-prolog's Introduction

		    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: [email protected]

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.

Recommend Projects