Up Next

8.1  Using the Interval Constraints Library

To use the Interval Constraints Library, load the library using either of:

:- lib(ic).
:- use_module(library(ic)).
Specify this at the beginning of your program.


Up Next