- 定义一个谓词来显示所有的倍数

-Define a predicate to display all multiples of

我在序言中的这段代码中有错误你能帮我吗?

div(X):- X mod 3 =:= 0.
div(X):- X mod 3 =:= 0 ...
div(X):- X mod 3 =:=1  ...

2 mod 3不是0也不是1,没办法做div(2),所以失败了

也许你想要

X mod 3 =:= 0    % remainder 0
X mod 3 =\= 0    % remainder not 0

?