序言中的算术错误

Question

我需要查看是否有三个人至少有两个来自组g1。我写道：

ingroup(person1, g1). 
ingroup(person2, g1). 
ingroup(person3, g1). 
ingroup(person4, g2). 
ingroup(person5, g2). 
test_ok :- ingroup(X,g1),ingroup(Y,g1), ingroup(Z,G), diff(X,Y,Z). 
diff(X,Y,Z) :- X =\= Y, X =\= Z, Y =\= Z. 

这使得在SWI Prolog的以下错误：

68 ?- test_ok. 
ERROR: =\=/2: Arithmetic: `person1/0' is not a function. 

我要去哪里错了？

Answer 1

您正在使用算术比较运算符，但person1是一个原子。因此错误信息。尝试使用术语比较运算符，如(\==)/2。有关详情，请参阅您的Prolog系统文档。