yap 6.2.2-2 (i386 binary) in ubuntu trusty
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-2
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
i386 build of yap 6.2.2-2 in ubuntu trusty PROPOSED produced
these files:
- yap_6.2.2-2_i386.deb (2.4 MiB)