prolog如何用prolog进行归结证明推理

学prolog语言用什么书最好？

Logic for Applications （应用逻辑） Anil Nerode 和 Richard A.Shore 合著 国内有影印版的 书中很多章节都介绍了Prolog ---------- 清华大学出版社出版的一些关于专家系统、人工智能的书中也有Prolog的相关介绍 具体书名记不住了 ----------- 《OHM大学理工系列·人工智能》日本大学的教材 其中也有Prolog的介绍 （还顺带介绍了LISP——表处理编程） --------- 现在纯粹介绍Prolog的书很难弄到……毕竟prolog最红火的年代已经过去了

prolog学会可以编写任何程序吗

入门装逼非常容易，进阶写出能用的系统非常难，因为那些奇技淫巧没有多少人懂，除了The Craft of Prolog以外，也没有多少介绍这些奇技淫巧的书。

。

。

是一种你需要去读一堆20世纪80年代的paper来学好的变态语言。

。

。

除了读TCOP以外，还要加入SWI的mailing list，每天去跪Jan Wielemaker老师是必须的

prolog 规则里不是一个事实怎么写

不写，比如Jim不是狗，你只要保证没有“dog(jim).”这条事实就可以了。

或者你非要写不可，可以加个前缀，比如“not_dog(jim).”这样。

prolog 怎么表示析取式

用分号。

比如说： Predicate(A,B):- P1 , P2. 表示合取 %%%%%%%%%% Predicate(A,B):- P1 ; P2. 表示析取

如何用prolog进行归结证明推理

PROLOG程序的解释执行过程采用特定的输入归结，即从目标语句出发求出它和原来子句集的一个子句的归结式（尾部和头部匹配），新的子句再与原来子句集的一个子句求归结式，以此类推。

任一时刻都不在两个导出子句或原来子句集的两子句间求归结式。