开发者 yap.sf.net

Yap Prolog 系统是一个与 ISO 兼容的高性能 Prolog 编译器。Yap 被广泛认为是可用最快的 Prolog 系统之一。Yap 支持皮质、CLP（QR）、CHR 和深度边界搜索。标签和并行性正在发展中。