現在 ICOT Free software として、以下の MGTP 処理系が公開されています。

• 並列定理証明器：MGTP/G Prolog版
• 並列定理証明器：MGTP/N Prolog版
• MGTP/G（KL1版/KLIC版）
• モデル分散型MGTP/N（KL1版/KLIC版）
• 制約MGTP（Prolog版/KL1版/KLIC版）

---

トップページに戻る