Wie man Clpfd in EclipseCLP Prolog (keine Eclipse Java IDE)

Question

Ich versuche, einen einfachen Routenplan mit CLP in Prolog mit eclipseclp und ich möchte die Clpfd Prolog-Bibliothek, aber der Compiler nicht erkennen Sie. Ich erhalten diesen Fehler:

library not found in use_module(library(clpfd)) 

ich alle Drittanbieter-Bibliotheken von eclipseCLP installiert haben, aber ich dieses Problem nicht lösen können.

Answer 1

Es gibt mehrere Bibliotheken, die Sie nutzen könnten, aber Sie wollen wahrscheinlich entweder mit dem interval solver, beginnen, die mit

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

oder Gecode interface

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

Beide implementieren die grundlegende CLP geladen wird (FD) Funktionalität. Früher oder später müssen Sie das Handbuch konsultieren.