资源推荐：Prolog的数学
Resource reccomendation: Mathematics of Prolog
我正在寻找关于 Prolog 的电子资源（书籍、文章、网站），它清楚地阐述了逻辑/数学基础，确切地 解释了统一的含义，匹配算法、回溯算法、SLDNF 解析、剪切……都在一个清晰一致的包中。该资源假定您熟悉一阶逻辑，这很好（甚至是首选）。它不需要进入应用程序，因为我已经获得了另一个 book。
我正在阅读的这本书做出了一个不幸的决定，即省略数学，而只是模糊地定义这些术语和过程，这使得许多其他细节也只能模糊地定义。
我发现这符合您的要求http://pages.di.unipi.it/borger/Papers/LogicPgg/prolog.pdf
（完整 Prolog 的数学定义，作者 Börger 和 Rosenzweig）
我正在寻找关于 Prolog 的电子资源（书籍、文章、网站），它清楚地阐述了逻辑/数学基础，确切地 解释了统一的含义，匹配算法、回溯算法、SLDNF 解析、剪切……都在一个清晰一致的包中。该资源假定您熟悉一阶逻辑，这很好（甚至是首选）。它不需要进入应用程序，因为我已经获得了另一个 book。
我正在阅读的这本书做出了一个不幸的决定，即省略数学，而只是模糊地定义这些术语和过程，这使得许多其他细节也只能模糊地定义。
我发现这符合您的要求http://pages.di.unipi.it/borger/Papers/LogicPgg/prolog.pdf
（完整 Prolog 的数学定义，作者 Börger 和 Rosenzweig）