yap binary package in Ubuntu Xenial amd64
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).
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-10-22 15:20:22 UTC | Published | Ubuntu Xenial amd64 | release | universe | devel | Extra | 6.2.2-6 | ||
|