如何在eclipseCLP prolog中使用clpfd（无eclipsejavaIDE）

Question

我正在尝试使用 eclipseclp 在 prolog 中使用 CLP 制定一个简单的路线计划 我想使用 clpfd 序言库，但编译器无法识别它们。我得到这个错误：

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) 功能。迟早你需要查阅手册。