实验二：使用Prolog的一阶逻辑推理实验.docVIP

实验：使用|?- p(a).的真假； p(b). p(a) :- p(b). p(a) :- p(c) 推理分析： 事实：p(b)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： b. p(c). p(a) :- p(b). p(a) :- p(c). 推理分析： 事实：p(c)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： c. p(b). p(a) :- p(b) ,p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真且p(c)为真可以推出p(a)为真. 结论：p(a)为假.因为p(b)未知. d. p(c). p(a):- p(b) ; p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真或p(c)为真可以推出p(a)为真. 结论：p(a)为真. 验证 ?-friend(john,Y). likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane ,smith). friend(john,X):-likes(X,reading),likes(X,music). friend(john,X):-likes(X,sports),likes(X,music). 推理分析： 1.如果X喜欢音乐，而且喜欢阅读，那么X是john的朋友。 2.如果X喜欢音乐，而且喜欢运动，那么X是john的朋友。 相关事实：mary喜欢音乐也喜欢运动。 结论：mary是john的朋友。 运行结果： 验证 likes(bill,X) likes(ellen,tennis). likes(john,football). likes(tom,baseball). likes(eric,swimming). likes(mark,tennis). likes(bill,X) if likes(tom,X). 推理分析: 如果tom喜欢X，则bill喜欢X。相关事实：tom喜欢baseball 结论：bill喜欢baseball 运行结果： 构建与，或，非，异或表达，并验证。 代码： and(X,Y) :- X,Y. or(X,Y) :- X;Y. no(X) :- not(X). xor(X,Y) :- X\==Y. 推理分析: 推理：X，Y都为真时and(X,Y)为真。 X，Y有一个为真时or(X,Y)为真。X为真时no(X)为真。 X不等于Y时，异或xor(X,Y)为真。 运行结果： 5.已知兄弟sib(X, Y)的定义如下 sib(X, Y):- p(Z, X), p(Z, Y), X \== Y. 5.1：定义堂兄弟co(X, Y)； sco(X, Y)， 6.自动实现搜索算法-回溯，判断JOHN是谁的朋友 TOM喜欢TALK,BILL喜欢游泳，BILL喜欢谈话;若X既喜欢TALK,有喜欢SWIM,则JOHN是X的朋友。 代码： likes(tom,talk). likes(bill,swim). likes(bill,talk). friend(X,Y) :- likes(X,talk),likes(X,swim). 推理分析： 当X喜欢talk，且喜欢swimming，则X是Y的朋友。 相关事实：bill喜欢talk，且喜欢swimming。 结论：bill是JOHN的朋友。 运行结果： 7.谁是盗窃犯问题：某人被盗，公安局派出所派出5个侦察员去调查。研究案情时: 侦察员A说：“赵与钱中至少有一人作案”； 侦察员B说：“钱与孙中至少有一人作案”； 侦察员C说：“孙与李中至少有一人作案”； 侦察员D说：“赵与孙中至少有一人与此案无关”； 侦察员E说：“钱与李中至少有一人与此案无关”。 如果这5个侦察员的话都是可信的，试编程求出谁是盗窃犯，并给出Prolog.程序。 代码： spyA(X,Y):-(X=true);(Y=true). spyB(X,Y):-(X=true);(Y=true). spyC(X,Y):-(X=true);(Y=ture). spyD(X,Y):-(X=false);(Y=false). spyE(X,Y):-(X=false);(Y=false). find([Zhao,Qian,Sun,Li]):-spyA(Zhao,Qian),spyB(Qian,Sun),spyC(Su