yap 5.1.3-6 (armel binary) in ubuntu precise
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:
- 5.1.3-6
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
armel build of yap 5.1.3-6 in ubuntu precise RELEASE produced
these files:
- yap_5.1.3-6_armel.deb (2.1 MiB)
Package relationships
- Depends on: