プログラム yap.sf.net

Yap Prolog システムは ISO 互換の高性能プロローグ コンパイラです。ヤップは、最も高速なプロローグシステムの1つと広く考えられています。ヤップは、コリュート、CLP(QR)、CHR、および深度にバインドされた検索をサポートしています。タブリングと並列処理は開発中です。