prolog - gprolog中的mod？

Question

我正在尝试在 gprolog 1.3 中使用 mod 运算符并不断出错。这是我为演示该问题而制作的示例谓词：

test(N) :- N mod 10.

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

score 3 · Accepted Answer

3

尝试这个：

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

于 2013-03-26T01:06:34.120 回答

score 0 · Accepted Answer

这根本不符合逻辑。在序言中，一切都像一个规则。头部和尾部应该是一个声明。我不记得清楚的语法，但它应该像

mod10Is2(N) :- N mod 10 = 2

2 回答 2