1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Source: yap
Section: devel
Priority: extra
Maintainer: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 5), autotools-dev,
libreadline-dev, libgmp-dev, libncurses-dev, zlib1g-dev, texinfo, chrpath
Standards-Version: 3.9.6
Homepage: http://www.dcc.fc.up.pt/~vsc/Yap/
Vcs-Git: git://anonscm.debian.org/collab-maint/yap.git
Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/yap.git;a=summary
Package: yap
Architecture: amd64 arm64 armel armhf i386 powerpc ppc64el s390
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: High-performance Prolog System
High-performance Prolog compiler developed at LIACC/Universidade
do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the
Warren Abstract Machine, with several optimizations for better
performance. YAP follows the Edinburgh tradition, and is largely
compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
.
YAP features a constraint solver over real numbers, and support for
constraint handling rules (CHR).
|
