プロローグ（Eclipse CLP）に次のステートメントがあります。
?-X::1..100, X/5 #= 2, X = 12.
結果はNo.です。Xoverの整数除算5が等しいかどうかを確認したい2。次のステートメントを書くとします。
?-X::1..100, X//5 #= 2, X = 12.
次のエラーが表示されます。
//(X{1 .. 100}, 5, _703) のインスタンス化エラー
問題は、変数の整数除算を確認するにはどうすればよいかということXです。