| Paketname | yap |
| Beschreibung | The YAP Prolog System |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 5.1.3-4 |
| Sektion | universe/devel |
| Priorität | extra |
| Installierte Größe | 9136 Byte |
| Hängt ab von | libc6 (>= 2.7), libncurses5 (>= 5.6+20071006-3), libreadline6, dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 2280156 Byte |
| Prüfsumme MD5 | 47828a61bf407ce1e73f948d5b7fcba8 |
| Prüfsumme SHA1 | 488185dd37f860418239f2dfbe9e60cdc62494b7 |
| Prüfsumme SHA256 | 6ea5895bd5fd67271a0364839523a808951f90f38b0a3a27f145682eb05970ee |
| Link zum Herunterladen | yap_5.1.3-4_i386.deb |
| Ausführliche 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).
|