Source: yap Section: devel Priority: extra Maintainer: Ralf Treinen 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).