CLP dialect :ISO PrologGNU PrologSicstus PrologOther (file)
Program to type check (below or local file) :- use_module(library(clpb)). :- use_module(library(clpfd)). p(X,Y,Z) :- X #= Y+Z, sat(X), sat(~Y).
Optional type declarations (below or local file)