Prolog错误:在子句中完全停止？无法重新定义,/ 2

Question

我刚开始学习prolog.我使用SWI-Prolog编译了一个文件,但收到了一条错误消息:Prolog错误:在子句中完全停止？

我的档案:

loves( vincent   , mia ) .
loves( marsellus , mia ) .

jealous(X,Y) :=
  loves(X,Z) ,
  loves(Y,Z) .

Answer 1

傻我知道应该是: - ,不是:=.