質問：

例えば、制約論理述語の「in /xfx」の実行例として

|?-3 in 0..3.

を実行するとnoになってしまいます。

回答:

「dll/so/dylib」化されている拡張機能を使用するには、dlib_requireで拡張ライブラリをロードする必要があります。
質問の実行例にもあります制約論理述語を使用する場合には、clpライブラリをロードしてからご使用下さい。

|?-dlib_require(clp).
yes
|?-3 in 0..3.
yes

なお拡張機能の概要、各機能の詳細は、ユーザーズマニュアル「9.拡張機能パッケージ」をご参照下さい。