yap 6.2.2-6 (amd64 binary) in ubuntu wily
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).
Details
- Package version:
- 6.2.2-6
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of yap 6.2.2-6 in ubuntu wily PROPOSED produced
these files:
- yap_6.2.2-6_amd64.deb (2.6 MiB)