prolog - gprologのmod？

Question

gprolog 1.3でmod演算子を使用しようとしていますが、エラーが発生し続けます。問題を実証するために作成した述語の例を次に示します。

test(N) :- N mod 10.

test（2）をクエリすると。「キャッチされない例外：error（existence_error（procedure、（mod）/ 2、test / 1）」が表示されます。何か間違ったことをしていますか？

Answer 1

これを試して：

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

Answer 2

これは意味がありません。プロローグでは、すべてがルールのようです。頭と尻尾はステートメントでなければなりません。構文ははっきり覚えていませんが、次のようになります。

mod10Is2(N) :- N mod 10 = 2