Как использовать clpfd в прологе eclipseCLP (без затмения Java IDE)

Question

Я пытаюсь создать простой план маршрутизации с помощью CLP в прологе, используя http://eclipseclp.org/, и я хочу использовать библиотеку 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). Рано или поздно вам придется обратиться к руководству.