我想在序言中实现以下谓词并将它们用于真值表：and/2、or/2、nand/2、nor/2、xor/2
也许有人可以告诉我如何实现和/2，这样我就可以自己做其他的并将它们发布在这里。
/2 是可能的，而且实际上非常优雅。
and(A,B) :- A,B.
or(A,B) :- A;B.
nand(A,B) :- not(and(A,B)).
nor(A,B) :- not(or(A,B)).
xor(A,B) :- or(A,B), nand(A,B).
使用时只需将 A/B 替换为 true/false 即可。例如：
?- and(true,true).
true.
?- and(false, true).
false.
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
