Bug#450688: ITP: yap -- YAP Prolog compiler
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>
* Package name : yap
Version : 5.1.1
Upstream Author : Luis Damas and Vitor Santos Costa, plus contributors
* URL : http://www.ncc.up.pt/~vsc/Yap/
* License : Artistic
Programming Lang: C
Description : YAP Prolog compiler
YAP is a high-performance Prolog compiler developed at LIACC/Universidade
do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM
(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 constraint solvers over real numbers, and support for
constraint handling rules (CHR).
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.22-3-486
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8)
Shell: /bin/sh linked to /bin/bash
Reply to: