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.
