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)