Name: try_post_constraint/1
Name: clpfd_eq/2
Name: clpfd_neq/2
Name: clpfd_geq/2
Name: clpfd_gt/2
Name: clpfd_leq/2
Name: clpfd_lt/2
Name: clpfd_domain/3
clpfd_domain(Var,Low,Up) :- var(Var),!,Low=inf,Up=sup. clpfd_domain(X,X,X).
Calls:
Name: =/2
Name: !
Name: var/1
clpfd_eq(_,_).
clpfd_geq(_,_).
clpfd_gt(_,_).
clpfd_leq(_,_).
clpfd_lt(_,_).
clpfd_neq(_,_).
try_post_constraint(_).