1

I'm trying to make a simple route plan with CLP in prolog using eclipseclp and I want to use the clpfd prolog library, but the compiler doesn't recognize them. I obtain this error:

library not found in use_module(library(clpfd))

I have installed all the third party libraries of eclipseCLP but I can't solve this problem.

rafaelleru
  • 367
  • 1
  • 2
  • 19

1 Answers1

2

There are several libraries you could use, but you probably want to start with either the interval solver, which is loaded with

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

or the Gecode interface

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

Both implement the basic CLP(FD) functionality. Sooner or later you will have to consult the manual.

jschimpf
  • 4,904
  • 11
  • 24