開發者 yap.sf.net

Yap Prolog 系統是一個與 ISO 相容的高性能 Prolog 編譯器。Yap 被廣泛認為是可用最快的 Prolog 系統之一。Yap 支援皮質、CLP（QR）、CHR 和深度邊界搜索。標籤和並行性正在發展中。