在gprolog中的mod？

Question

我正在尝试在gprolog 1.3中使用mod运算符并不断收到错误。这是我用来演示问题的示例谓词：

test(N) :- N mod 10.

当我查询test（2）时。我得到“未捕获的异常：错误（exist_error（procedure，（mod）/ 2，test / 1）”。我做错了什么？

Answer 1

试试这个：

test(N,X) :- X is N mod 10.

Answer 2

这没有意义。 在prolog中，一切都像一个规则。头部和尾部应该是一个声明。 我不清楚语法，但它应该像

mod10Is2(N) :- N mod 10 = 2