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