如何在eclipse prolog中使用clpfd（无eclipse java IDE）

我试图在prolog中使用CLP，使用 我想使用clpfd prolog库，但编译器无法识别它们。我得到这个错误：

library not found in use_module(library(clpfd))

---

我已经安装了Eclipsp的所有第三方库，但我无法解决此问题。

有几个库可以使用，但您可能希望从中的任何一个开始，它加载了

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

或者

两者都实现了基本的CLP（FD）功能。你迟早要查阅手册。

可能

：-lib（clpfd）。

？可能

：-lib（ic）。

？

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