TCLP is a type checker for Prolog/CLP(X).

Currently, there are type libraries for 3 Prolog dialects: ISO Prolog, 
SICStus Prolog and GNU-Prolog. ISO types are used by default. 
To use SICStus types, add `--prolog sicstus' to the command line and 
to use GNU-Prolog types, add `--prolog gprolog'.

