如何在prolog中实现逻辑运算符

我想在prolog中定义逻辑运算符not、or、and、nand、nor和xor

我已经试过了

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).

但我必须使用以下事实：

opnot(Variable, Result).
opor(Variable1, Variable2, Restult).
opand(Variable1, Variable2, Restult).
opnand(Variable1, Variable2, Result).
opnor(Variable1, Variable2, Result).
opxor(Variable1, Variable2, Result).

---

你能帮我写规则吗？

你可以使用你已经定义的谓词来完成

opand/3

和所有其他arity为3的谓词将按以下方式定义：

opand(Variable1, Variable2, Result) :- and(Variable1, Variable2) -> Result = true ; Result = false.

opnot/2

的定义会有点不同：

opnot(Variable, Result) :- not(Variable) -> Result = true ; Result = false.

---

在Prolog中使用if-then-else逻辑的

->

充其量也是可疑的。最好是两个子句“`opand（Variable1，Variable2，true）：-和（Variable1，Variable2）。``opand（Variable1，Variable2，false）：-nand（Variable1，Variable2）``