FileSize | 2411110 |
MD5 | B292A6D1A90A954AA05181AFC33EE4FD |
PackageDescription | 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). |
PackageMaintainer | Ralf Treinen <treinen@debian.org> |
PackageName | yap |
PackageSection | devel |
PackageVersion | 6.2.2-2 |
SHA-1 | 10731C8A67EFB9C6BCFA5FB78AD6C1FEEC98B5A7 |
SHA-256 | 7B66BC40B0CBDAF0A45732FA968A4257B70FAD3D8D4CB44557DF9E3A1A5C7868 |