eclipseCLPプロローグでclpfdを使用するには

Question

eclipseclp を使用してプロローグでCLPを使用した簡単なルートプランを作成しようとしていますが、clpfdプロローグライブラリを使用しますが、コンパイラは認識しませんそれら。

library not found in use_module(library(clpfd)) 

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

Answer 1

あり、あなたが使用することができ、いくつかのライブラリがありますが、あなたはおそらく

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

またはGecode interface

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

がロードされているinterval solver、のいずれかで始まる両方（基本CLPを実装したいですFD）機能を提供します。遅かれ早かれマニュアルを参照する必要があります。