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.
Download
Yap - Yap-5.1.1
Last Update: Apr 18 2006
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved