|
|
| Distribution |
Debian stable |
| Abteilung |
devel |
| Quelle |
yap |
| Version |
5.1.1-3 |
| Maintainer |
Ralf Treinen <treinen@debian.org>
|
| Beschreibung |
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 a constraint solver over real numbers, and support for
constraint handling rules (CHR).
|
| Abhängig von | libc6 (>= 2.7-1) |
| Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
| Download |
amd64 |
|
|
|
