YAP Prolog System
Yap is a high-performance Prolog compiler developed at LIACC, Universidade do Porto. Its Prolog engine is based on the WAM (Warren Abstract Machine), with several optimizations for better performance, and achieves performance comparable or exceeding that of commercial Prolog systems. Yap is largely compatible with the major Edinburgh Prolog systems, and has been ported to most 32-bit and 64-bit Unix based platforms. A Windows port is also available.
| Tags | Software Development Compilers |
|---|---|
| Licenses | Artistic |
Recent releases
- 30 Apr 2008 23:24
Release Notes: Numerous major enhancements.
- 05 Jun 2002 00:23
Release Notes: This release features a new atom garbage collector, and fixes problems with the default syntax error mode, recovering space for logical update semantics, references to deleted entries with logical update semantics, making deleted instaces fail for logical update semantics, garbage_collect calling do_gc with P, not CP, using YAPSHAREDIR as in the manual, and warning messages about unify_extension.
- 01 Jun 2002 01:28
Release Notes: Many changes have been made.
- 17 Jul 2001 16:13
Release Notes: Major changes include huge improvements to the garbage collector, better SICStus compability (modules and the system library), better WIN32 support, (improved support for ^c), and a few other tidbits here and there. Logtalk is now a part of the system.
- 03 Apr 2001 18:41
Release Notes: Several new features, such as full ISO compatibility, CLP(QR), CHR, Pillow, better tabling support, support for multi-precision integers, better portability, improved performance, and many bugfixes.
not-available
19 Jun 1999 06:31
Heartbeat
- Popularity Score
- 29.95
- Vitality Score
- 4.48
- Subscriptions
- 12
