prolog - 将 Imogen(FOL 的直觉定理证明器)翻译成 Prolog 证明器?
问题描述
imogen是 Sean McLaughlin 在标准 ML 中的直觉主义定理证明器。逻辑学家和 Prolog 程序员在 Prolog 中翻译 imogen 可能会很有趣,比较这个翻译并可能更好地理解这个非常有效的直觉主义证明者。
解决方案
推荐阅读
- excel - Excel VBA。什么时候需要激活工作表?
- php - 使用单选按钮返回布尔值 true 还是 false?
- javascript - 在 PhantomJS 中使用类名创建嵌套元素
- php - 如何在php中获取搜索结果
- php - 使用 PHP 在 MySQL 中插入图像时出错
- javascript - 如何将 dropzone 放在表单中但仍允许原始表单提交?
- c# - 从 Azure Active Directory 获取 MVC Web App 中的 samAccountName 名称
- haskell-stack - 如何显示`stack haddock`的进度?
- jquery - 当使用 Laravel 取消选择另一个框时,取消选择“全选”复选框。
- php - PHP MariaDB PDO 计算重复值