CLP dialect :ISO PrologGNU PrologSicstus PrologOther (file)

Program to type check (below or local file)
:- use_module(library(clpfd)). :- X in 1..5, Y in 2..8, X+Y #= T.

Optional type declarations (below or local file)