Search code examples
prologclpfdeclipse-clp

How to use clpfd in eclipseCLP prolog (no eclipse java IDE)

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.

Solution

  • 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.