FileSize | 2454690 |
MD5 | D332B18E6DB6824E44BD10D11795E1EB |
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 | 0B1E32B49F09EBF0E39638D3E3D8A994E673D7A4 |
SHA-256 | 5BD9412452E255CD24B320329E0FA44F8C17D0DC51A63AFDBE3F7E63CD303A7C |