prolog - eplex ライブラリでのモジュロ演算の明示的なサポートはありますか

Question

ライブラリを使用eplexしicて問題を解決しようとしています。eplexand はandicを明示的にサポートしaddition,multiplicationていることがわかりますが、orsubtractionはサポートされていません。modulodivision

より正確には、次のコードがあります。

    FirstResult #=  (Result[I] mod Val), % Here it gives error because Result[I] is not instantiated.
    NewVal is Val+1,
    SecondResult #= (Result[I] mod NewVal)

mod2 つの引数がグラウンドである必要がありResult[I]ますが、インスタンス化されておらず、値の範囲があります。したがって、私の質問は、操作を伴うそのような制約をどのようmodに遅らせることができるかです。