swi-prolog 7.6.1+dfsg-2 source package in Ubuntu
Changelog
swi-prolog (7.6.1+dfsg-2) unstable; urgency=medium * Disable Java test due to CVE-2017-1000364 -- Lev Lamberov <email address hidden> Tue, 07 Nov 2017 11:14:08 +0500
Upload details
- Uploaded by:
- Lev Lamberov
- Uploaded to:
- Sid
- Original maintainer:
- Lev Lamberov
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
swi-prolog_7.6.1+dfsg-2.dsc | 2.9 KiB | fe304859badd0fbc7d59303fe45867d3cc7762a98e3dd8a4f222c1154435d378 |
swi-prolog_7.6.1+dfsg.orig.tar.gz | 15.9 MiB | 1496d8ed92fb1bca14a0ca5e85c4a3215dcc75ab998cfafec352ff767077a7dd |
swi-prolog_7.6.1+dfsg-2.debian.tar.xz | 32.8 KiB | 456c0f441fe733901dbe32d96e22de80f8fe162874778fd367ea872609555594 |
Available diffs
- diff from 7.4.2+dfsg-2 to 7.6.1+dfsg-2 (1.0 MiB)
- diff from 7.6.1+dfsg-1 to 7.6.1+dfsg-2 (542 bytes)
No changes file available.
Binary packages built by this source
- swi-prolog: ISO/Edinburgh-style Prolog interpreter
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
.
This is a metapackage, it installs full SWI-Prolog suit (except ODBC
and Berkeley DB support).
- swi-prolog-bdb: Berkeley DB interface for SWI-Prolog
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
.
This package provides a foreign language extension to the Berkeley DB
(libdb) embedded database.
- swi-prolog-bdb-dbgsym: debug symbols for swi-prolog-bdb
- swi-prolog-java: Bidirectional interface between SWI-Prolog and Java
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
.
This library provides JPL, a bidirectional interface between SWI-Prolog and
the Java 2 runtime.
- swi-prolog-java-dbgsym: debug symbols for swi-prolog-java
- swi-prolog-nox: ISO/Edinburgh-style Prolog interpreter (without X support)
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
.
This package contains a working SWI-Prolog installation with GUI components.
- swi-prolog-nox-dbgsym: debug symbols for swi-prolog-nox
- swi-prolog-odbc: ODBC library for SWI-Prolog
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
.
This package provides a foreign language extension to ODBC, a standard for
interfacing with database systems.
- swi-prolog-odbc-dbgsym: debug symbols for swi-prolog-odbc
- swi-prolog-x: User interface library for SWI-Prolog (with X support)
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
.
XPCE is an object-oriented symbolic programming environment for user
interfaces. Although XPCE was designed to be language-independent, it has
gained popularity most with Prolog.
- swi-prolog-x-dbgsym: debug symbols for swi-prolog-x