prolog_notes:在Prolog上工作时做的一些笔记

序言 在Prolog上进行操作时记下的一些笔记（主要是SWI-Prolog） 一个传统 摘自川广重于1832年。 逻辑编程领域 如此众多的建模语言和编程语言都有些不同。 在上面错过了： （当前冻结？） （古代，基于情境演算。与LPS有什么关系？） （PDF），用于 NProlog：具有假设含义的prolog扩展。 一种具有绑架和假设的逻辑编程语言 数据记录 逻辑框架 Markov Logic Networks-目前似乎很热门 Lambda-Prolog：Lambda-Prolog的实用重构 在这里，应该使用Prolog的非常严格的自上而下的定理证明者（或者更确切地说是“枚举结果检查器”）来实现更通用的定理证明者。 以及您如何直接在定理证明者中进行搜索？ NP沙漠不适合胆小的人。 什么是Prolog？ 在Peter Van Roy于2012年发表的论文中， “傻瓜编程范