Source: swi-prolog Section: interpreters Priority: optional Maintainer: Lev Lamberov Build-Depends: cmake, dctrl-tools, debhelper-compat (= 13), default-jdk [alpha amd64 arm64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el riscv64 s390x sh4 sparc64 x32], dpkg-dev (>= 1.22.5), junit [alpha amd64 arm64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el riscv64 s390x sh4 sparc64 x32], emacs-common, ncurses-dev, libarchive-dev, libdb-dev, libedit-dev, libgmp-dev, libgoogle-perftools-dev, libice-dev, libjpeg-dev, libjs-jquery, libossp-uuid-dev, libpcre2-dev, libreadline-dev, libssl-dev, libunwind-dev [!s390x], libx11-dev, libxext-dev, libxft-dev, libxinerama-dev, libxpm-dev, libxt-dev, libyaml-dev, unixodbc-dev, x11proto-core-dev, zlib1g-dev Standards-Version: 4.6.2 Rules-Requires-Root: no Vcs-Git: https://salsa.debian.org/debian/swi-prolog.git Vcs-Browser: https://salsa.debian.org/debian/swi-prolog Homepage: https://www.swi-prolog.org Package: swi-prolog Architecture: any Depends: ${misc:Depends}, swi-prolog-doc (>= ${source:Version}), swi-prolog-doc (<< ${source:Version}.1~), swi-prolog-nox (= ${binary:Version}), swi-prolog-x (= ${binary:Version}), Description: 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 SWI-Prolog suit (except Java, ODBC, Berkeley DB support and tests). Package: swi-prolog-full Architecture: any Depends: ${misc:Depends}, swi-prolog (= ${binary:Version}), swi-prolog-bdb (= ${binary:Version}), swi-prolog-java (= ${binary:Version}), swi-prolog-odbc (= ${binary:Version}) Description: ISO/Edinburgh-style Prolog interpreter - full suit 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 tests). Package: swi-prolog-core Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Recommends: debhelper Suggests: elpa-ediprolog, swi-prolog-core-packages (= ${binary:Version}), swi-prolog-doc, swi-prolog-java (= ${binary:Version}), swi-prolog-odbc (= ${binary:Version}), swi-prolog-bdb (= ${binary:Version}) Breaks: swi-prolog-nox (<< 8.1.30+dfsg-1), logol-bin (<< 1.7.9+dfsg-6), libppl-swi (<< 1:1.2-8.1+b1) Replaces: swi-prolog-nox (<< 8.1.30+dfsg-1) Provides: swi-prolog-abi-${swi-prolog:ABI}, swi-prolog-abi-foreign-${swi-prolog:FABI}, swi-prolog-abi-binary-${swi-prolog:BABI}, swi-prolog-abi-qlf-${swi-prolog:QLF}, swi-prolog-abi-states-${swi-prolog:SSTATES}, libswipl9t64, ${t64:Provides} Description: ISO/Edinburgh-style Prolog interpreter - core system 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 core system. Package: swi-prolog-core-packages Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, swi-prolog-core (= ${binary:Version}) Recommends: libjs-jquery Suggests: elpa-ediprolog, swi-prolog-doc, swi-prolog-java (= ${binary:Version}), swi-prolog-odbc (= ${binary:Version}), swi-prolog-bdb (= ${binary:Version}) Breaks: swi-prolog-nox (<< 8.1.30+dfsg-1) Replaces: swi-prolog-nox (<< 8.1.30+dfsg-1) Description: ISO/Edinburgh-style Prolog interpreter - core packages 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 core packages. Package: swi-prolog-nox Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, swi-prolog-core (= ${binary:Version}), swi-prolog-core-packages (= ${binary:Version}), Suggests: elpa-ediprolog, swi-prolog-java (= ${binary:Version}), swi-prolog-doc, swi-prolog-odbc (= ${binary:Version}), swi-prolog-bdb (= ${binary:Version}) Description: 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 without GUI components. Package: swi-prolog-x Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, swi-prolog-nox (= ${binary:Version}) Description: 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. Package: swi-prolog-java Architecture: alpha amd64 arm64 armel armhf i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el riscv64 s390x sh4 sparc64 x32 Depends: ${shlibs:Depends}, ${misc:Depends}, default-jre-headless | java2-runtime, swi-prolog-nox (= ${binary:Version}) Description: 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 runtime. Package: swi-prolog-odbc Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, swi-prolog-nox (= ${binary:Version}) Replaces: swi-prolog-nox (<< 7.7.25+dfsg-1) Breaks: swi-prolog-nox (<< 7.7.25+dfsg-1) Description: 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. Package: swi-prolog-bdb Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, swi-prolog-nox (= ${binary:Version}) Description: 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. Package: swi-prolog-doc Section: doc Architecture: all Depends: ${misc:Depends}, swi-prolog-core (>= ${source:Version}), swi-prolog-core (<< ${source:Version}.1~) Breaks: swi-prolog-nox (<< 8.1.26+dfsg-1), swi-prolox-bdb (<< 8.1.26+dfsg-1), swi-prolox-java (<< 8.1.26+dfsg-1), swi-prolox-odbc (<< 8.1.26+dfsg-1), swi-prolox-x (<< 8.1.26+dfsg-1) Replaces: swi-prolog-nox (<< 8.1.26+dfsg-1), swi-prolox-bdb (<< 8.1.26+dfsg-1), swi-prolox-java (<< 8.1.26+dfsg-1), swi-prolox-odbc (<< 8.1.26+dfsg-1), swi-prolox-x (<< 8.1.26+dfsg-1) Description: documentation and examples 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 documentation and examples. Package: swi-prolog-test Architecture: all Depends: ${misc:Depends}, swi-prolog-nox (>= ${source:Version}), swi-prolog-nox (<< ${source:Version}.1~) Description: tests and checks 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 set of prepared tests and checks for installed SWI-Prolog system. This package is intended for SWI-Prolog development and is of no use for ordinary users. If you're not sure about this package, you don't need it.