:- use_module(library(clpfd)).