我需要在序言中写一些表达以下句子的子句
“每个人都是凡人，但约翰”
这是我的条款：
not(mortal(john)).
mortal(_).
但是当我查询?- mortal(john).它返回true而不是false时。
怎么了？
没有错。
您有两个事实：
not(mortal(john)).
mortal(_).
运行查询?- mortal(john).不能绑定第一个事实，因为它在结构上并不相同，但是可以绑定第二个事实。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句