love(zxy,wf). love(zxy,zhm). love(wf,xtf). love(zhm,zxy). love(xtf,wf). love(xtf,zhm). love(ldh,zhm). lovers(X,Y):-love(X,Y),love(Y,X). 写出下列答案 (1) ?love(zxy,ldh).(2) ?love(zxy,X).(3) ? lovers(X,Y).
时间: 2023-10-29 18:07:00 浏览: 149
Zxy97Encryption.jar 加密程序
(1) false. 因为没有规定zxy和ldh之间是否有爱情关系。
(2) X = wf; X = zhm. 因为zxy爱wf和zhm。
(3) X = zxy, Y = wf; X = wf, Y = xtf; X = zhm, Y = zxy; X = xtf, Y = wf; X = zhm, Y = xtf; X = zhm, Y = ldh。因为符合lovers谓词的条件是两个人之间相互有爱情关系,所以可以得到以上六组解。
阅读全文