1 project tagged "Bug Tracking"

Sort by:

Relevance
Last Update
Creation
Project Name
Popularity
Vitality

Updated 29 Aug 2006 TCLP

P_op	40.91
V_it	3.82

TCLP is a type checker for Prolog dialects. It is written in SICStus Prolog. 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. Supported dialects include ISO-Prolog, GNU-Prolog, and SICStus Prolog.