TCLP is a type checker for Prolog dialects. Its goal is to statically trap programming errors like illegal arguments used in a call for a predicate or illegally built data structures with respect to a given typing for function symbols or predicates. TCLP is also capable of type inference for user predicates. It supports ISO-Prolog, GNU-Prolog, and SICStus Prolog.
DocumentationUser manual available in HTML, PostScript, PDF, DVI formats from http://contraintes.inria.fr/~coquery/tclp/doc.en.html
released on 25 May 2005
|License||Verified by||Verified on||Notes|
|LGPLv2.1orlater||Janet Casey||25 May 2005|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 25 May 2005.