herbrand-prolog:试图通过构建最少 Herbrand 模型来回答查询的伪 Prolog

herbrand-序言 一个伪 Prolog，它试图通过构建最少的 Herbrand 模型来回答查询。 作为 COMP360 计算逻辑和逻辑编程的最终项目，2014 年秋季，卫斯理大学 Lipton 教授撰写。 限制 目前，您不能在程序中使用函数，例如s(o) 。 解析器还没有处理它们，最起码的 Herbrand 模型构建器也没有处理它们。 您不能使用; 作为“或”。 为此尝试在程序中添加单独的 Horn 子句。 您不能使用\+ , !. . 您不能使用自然数或列表。 您只能使用常量和关系。 用法 为了使用或编译程序，您需要安装 。 克隆存储库后，转到存储库文件夹并执行 cabal build 现在你编译了程序。 “usage”文件夹中有一个示例 Prolog 文件。 你可以像这样运行它： ./dist/build/repl/repl usage/travel.prolog