| 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 |