swi-prolog - ISO/Edinburgh-style Prolog interpreter

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main i386
Package name swi-prolog
Package version 5.10.4
Package release 5
Package architecture i386
Package type deb
Installed size 36 B
Download size 12.29 KB
Official Mirror ftp.br.debian.org
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a
rich set of built-in predicates. It offers a fast, robust and small
environment which enables substantial applications to be developed with it.
SWI-Prolog additionally offers:
* A powerful module system
* Garbage collection
* Unicode character set handling
* Unbounted integer and rational number arithmetic
* Multithreading support
* A powerful C/C++ interface
* GNU Readline interface


Package Version Architecture Repository
swi-prolog_6.6.6-1~bpo70+1_amd64.deb 6.6.6 amd64 Debian Backports Main
swi-prolog_6.6.6-1~bpo70+1_i386.deb 6.6.6 i386 Debian Backports Main
swi-prolog_5.10.4-5_amd64.deb 5.10.4 amd64 Debian Main
swi-prolog - - -


Name Value
swi-prolog-nox = 5.10.4-5
swi-prolog-x = 5.10.4-5


Type URL
Binary Package swi-prolog_5.10.4-5_i386.deb
Source Package swi-prolog

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install swi-prolog deb package:
    # sudo apt-get install swi-prolog




2013-01-05 - Євгеній Мещеряков <eugen@debian.org>
swi-prolog (5.10.4-5) unstable; urgency=medium
* New patches (taken from RedHat bugzilla, closes: #697416):
- CVE-2012-6089.diff - fix for CVE-2012-6089 - possible buffer overrun in
path canonisation code
- CVE-2012-6090.diff - fix for CVE-2012-6090 - Possible buffer overflows
when expanding file-names with long paths 
* Urgency "medium" because of a fix for a security bug
2012-10-08 - Євгеній Мещеряков <eugen@debian.org>
swi-prolog (5.10.4-4) unstable; urgency=medium
* Build-conflict with libncursesw5-dev, so it will not be used during build
instead of lincurses5-dev. This should make dependencies of swi-prolog-nox
consistent across architectures (closes: #689583)
* debian/gbp.conf - change debian-branch to wheezy-updates
* Urgency medium because of fix for an RC bug
2011-12-15 - Євгеній Мещеряков <eugen@debian.org>
swi-prolog (5.10.4-3) unstable; urgency=low
[ Chris Lamb ]
* Install sgml package into swi-prolog-nox. Thanks to Sami Kiviharju
<sami.kiviharju@gmail.com>. (Closes: #642214)
[ Євгеній Мещеряков ]
* Adopt the package with maintainer's agreement
* Make swi-prolog-nox depend on libncurses5-dev (closes: #644974)
* Remove special rules for no longer supported arm and hppa architectures
from debian/rules
* Do not try to install jpl package if it was not built (closes: 644593)
* Add debian/gbp.conf
* Add pointers to collab-maint repository
* Compress binary packages using xz
2011-08-24 - Chris Lamb <lamby@debian.org>
swi-prolog (5.10.4-2) unstable; urgency=low
* Add missing RDF library. Thanks to "A. N. Other"
<a.n.other.debian@gmail.com>. (Closes: #639103)
* Prevent similar issues with library paths with set -e.
2011-07-20 - Євгеній Мещеряков <eugen@debian.org>
swi-prolog (5.10.4-1.1) unstable; urgency=medium
* Non-maintainer upload.
* Fix FTBFS on mipsel (Closes: #634257)
* New patch:
- swi-prolog-mipsel-FTBFS.diff
* Urgency medium because previous version was for too long in
unstable on all other architectures
2011-06-19 - Chris Lamb <lamby@debian.org>
swi-prolog (5.10.4-1) unstable; urgency=low
* New upstream release.
* Bump Standards-Version to 3.9.2.
2011-03-20 - Chris Lamb <lamby@debian.org>
swi-prolog (5.10.2-1) unstable; urgency=low
* New upstream version.
* Update Vcs-{Git,Browser}.
* Change libgmp3-dev dependency to libgmp-dev.
2010-08-02 - Chris Lamb <lamby@debian.org>
swi-prolog (5.10.1-1) unstable; urgency=low
* New upstream release.
* Remove 01_chrpath_not_fatal.diff patch; applied upstream.
* Bump Standards-Version to 3.9.1.
* Prefer Breaks: over versioned Conflicts:.
2010-07-12 - Chris Lamb <lamby@debian.org>
swi-prolog (5.10.0-1) unstable; urgency=low
* New upstream release. (Closes: #587994)
* Update package index after installing -nox which was resulting in
incomplete installations after upgrading from lenny. (Closes: #585870)
* Remove unneeded manpage section patch.
* Update patches for latest swi-prolog version.
* Remove reference to xpce.1 manpage (removed upstream).
* libpl.so => libswipl.so.
2010-02-24 - Chris Lamb <lamby@debian.org>
swi-prolog (5.8.2-2) unstable; urgency=low
* Drop duplicate libjpeg62-dev, libxpm-dev and libxt-dev Build-Depends.
* Replace libjpeg62-dev Build-Dependency with libjpeg-dev.
* Fix FTBFS on GNU/kFreeBSD. Thanks to Petr Salinger
<Petr.Salinger@seznam.cz>. (Closes: #571078)
* Switch to dpkg-source 3.0 (quilt) format
* Bump Standards-Version to 3.8.4.

See Also

Package Description
swift-account_1.4.8-2+deb7u1_all.deb OpenStack Object Storage - account server
swift-container_1.4.8-2+deb7u1_all.deb OpenStack Object Storage - container server
swift-doc_1.4.8-2+deb7u1_all.deb OpenStack Object Storage - documentation
swift-im_2.0~beta1+dev47-1_i386.deb easy to use Jabber/XMPP chat client
swift-object_1.4.8-2+deb7u1_all.deb OpenStack Object Storage - object server
swift-proxy_1.4.8-2+deb7u1_all.deb OpenStack Object Storage - proxy server
swift_1.4.8-2+deb7u1_all.deb OpenStack Object Storage - common files
swig-doc_2.0.7-3_all.deb HTML documentation for SWIG
swig-examples_2.0.7-3_all.deb Examples for applications of SWIG
swig2.0-doc_2.0.7-3_all.deb HTML documentation for SWIG
swig2.0-examples_2.0.7-3_all.deb Examples for applications of SWIG
swig2.0_2.0.7-3_i386.deb Generate scripting interfaces to C/C++ code
swig_2.0.7-3_i386.deb Generate scripting interfaces to C/C++ code
swish++_6.1.5-2.2_i386.deb Simple Document Indexing System for Humans: C++ version
swish-e-dev_2.4.7-3_i386.deb Simple Web Indexing System for Humans - Enhanced