The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
VERSION HISTORY
- Version Yap-5.1.1 posted on 2006-04-18
Several fixes and updates - Version Yap-5.1.1 posted on 2006-04-18
Program Details
- Category: Development > Other
- Publisher: yap.sf.net
- License: Free
- Price: N/A
- Version: 5.1.1
- Platform: linux