如何在eclipseCLP prolog中使用clpfd（没有eclipse java IDE）

Question

我试图使用eclipseclp在prolog中制作一个简单的CLP路线规划 我想使用clpfd prolog库，但编译器不能识别它们。我得到了这个错误：

library not found in use_module(library(clpfd))

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

Answer 1

您可以使用多个库，但是您可能希望从interval solver开始，该文件已加载

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

或Gecode interface

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

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