探索一阶模型

许多一阶逻辑的自动推理工具产生一阶签名的解释（即函数和谓词的“实现”）。这些解释可能相当大。构建一个工具，使用它可以交互式地探索一阶解释，也许可以使用图形绘制工具，如Dot。这个工具既可以用于研究目的，也可以用于教育目的（当教授人们有关逻辑的知识时）。

背景：简介。FP、数据结构、一阶逻辑。人数: 1.联系人：科恩