:- module(clpfd, []). :- expects_dialect(swi).