CLASSES=none
PSTAMP=q20150622200728
LICFILE=lgpl.txt
LICURL=http://www.swi-prolog.org/license.html
LICINFO=GNU Lesser General Public License, Version 2.1, February 1999
DESC=This package conatains some additional information and a manual for SWI-Prolog - an ISO/Edinburgh-style Prolog compiler. Compliant with Part 1 of the ISO standard for Prolog. Covers all traditional Edinburgh Prolog features and shared many features with Quintus and SICStus Prolog, including a compatible module system. Very fast compiler, garbage collection (also on atoms), multi-threading, unbounded arithmetic, constraint handling, fast and powerful C/C++ interface, autoloading, GNU-readline interface. Additional modules are available via LNFswi-prolog-addons.
BASEDIR=/usr/share/doc
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=utils,development,application
NAME=SWI-Prolog 7.2 - documentation"
SERIALNUM=001
MAXINST=1000
VERSION=7.2.0
ARCH=i386
PKG=LNFswi-prolog-72-docs