1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
Source: swi-prolog
Section: interpreters
Priority: optional
Maintainer: Lev Lamberov <dogsleg@debian.org>
Build-Depends: debhelper (>= 10),
libncursesw5-dev,
libreadline-dev,
libgmp-dev,
libjpeg-dev,
libx11-dev,
libxpm-dev,
libxt-dev,
x11proto-core-dev,
unixodbc-dev,
default-jdk [alpha amd64 arm64 i386 mipsel mips64el powerpc powerpcspe ppc64 ppc64el s390x sh4 x32],
junit [alpha amd64 arm64 i386 mipsel mips64el powerpc powerpcspe ppc64 ppc64el s390x sh4 x32],
libxft-dev,
libxext-dev,
libice-dev,
libxinerama-dev,
dctrl-tools,
libarchive-dev,
libssl1.0-dev | libssl-dev (<< 1.1.0~),
zlib1g-dev,
libunwind8-dev [amd64 armel armhf i386 mips powerpc ppc64],
dh-autoreconf (>= 6~),
perl,
libossp-uuid-dev,
valgrind [amd64 armhf i386 mips mipsel powerpc ppc64 s390x],
autotools-dev
Build-Conflicts: libunwind7-dev
Standards-Version: 3.9.8
Vcs-Git: https://anonscm.debian.org/git/collab-maint/swi-prolog.git
Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/swi-prolog.git/
Homepage: http://www.swi-prolog.org
Package: swi-prolog
Architecture: any
Depends: ${misc:Depends},
swi-prolog-nox (= ${binary:Version}),
swi-prolog-x (= ${binary:Version})
Suggests: prolog-el
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
Package: swi-prolog-nox
Architecture: any
Depends: ${shlibs:Depends},
${misc:Depends},
libgmp-dev,
libreadline-dev,
libncursesw5-dev,
libjs-jquery
Breaks: spark (<< 2012.0.deb-5~)
Recommends: debhelper
Provides: ${swi-prolog:Depends}
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 with GUI components.
Package: swi-prolog-x
Architecture: any
Depends: ${shlibs:Depends}, swi-prolog-nox (= ${binary:Version}), ${misc:Depends}
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 i386 mipsel mips64el powerpc powerpcspe ppc64 ppc64el s390x sh4 x32
Depends: ${shlibs:Depends},
swi-prolog-nox (= ${binary:Version}),
${misc:Depends},
default-jre-headless | java2-runtime
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 2 runtime.
Package: swi-prolog-odbc
Architecture: any
Depends: ${shlibs:Depends},
${misc:Depends},
swi-prolog-nox (= ${binary:Version})
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.
|
