prolog - eclipseCLP プロローグで clpfd を使用する方法 (Eclipse Java IDE なし)

Question

eclipseclpを使用してプロローグで CLP を使用して単純なルート プランを作成しようとしており 、clpfd プロローグ ライブラリを使用したいのですが、コンパイラがそれらを認識しません。次のエラーが表示されます。

library not found in use_module(library(clpfd))

eclipseCLP のすべてのサード・パーティー・ライブラリーをインストールしましたが、この問題を解決できません。

Answer 1

使用できるライブラリはいくつかありますが、おそらく、ロードされているinterval solverのいずれかから開始することをお勧めします。

:- lib(ic).           % or :- use_module(library(ic)).

またはGecode インターフェイス

:- lib(gfd).          % or :- use_module(library(gfd)).

どちらも基本的な CLP(FD) 機能を実装しています。遅かれ早かれ、マニュアルを参照する必要があります。