Warning: file_get_contents(/data/phpspider/zhask/data//catemap/0/drupal/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
如何在prolog中实现逻辑运算符_Prolog_Logical Operators - Fatal编程技术网

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

如何在prolog中实现逻辑运算符,prolog,logical-operators,Prolog,Logical Operators,我想在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(Va

我想在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)``