Paketname | yap |
Beschreibung | The YAP Prolog System |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 5.1.3-4 |
Sektion | devel |
Priorität | extra |
Installierte Größe | 8936 Byte |
Hängt ab von | libc6 (>= 2.3.4), libncurses5 (>= 5.6+20071006-3), libreadline6, dpkg (>= 1.15.4) | install-info |
Empfohlene Pakete | |
Paketbetreuer | Ralf Treinen |
Quelle | |
Paketgröße | 2261756 Byte |
Prüfsumme MD5 | 2ce23450834317a6ff6f590288c672cb |
Prüfsumme SHA1 | e9a29e4de0650592f79f885ac451a0862cb5637c |
Prüfsumme SHA256 | a51708736582a3e4daedd386731d4ab0a3743cd29f96b8a7b686156c65e68704 |
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).
|