我想在序言中实现以下谓词并将它们用于真值表：and / 2或or / 2，nand / 2，nor / 2，xor / 2
也许有人可以向我展示如何实现and / 2，例如，我可以自己做其他人并将其发布在这里。
implementation prolog xor nor clpb
clpb ×1
implementation ×1
nor ×1
prolog ×1
xor ×1