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

Question

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

library not found in use_module(library(clpfd))

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

Answer 1

您可以使用几个库，但您可能希望从加载的区间求解器开始

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

或Gecode 接口

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

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