OSDN -- Develop and Download Open Source Software

RSS
Download List

Project Description

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.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2002-10-31 18:08 Back to release list
0.3

The sources were reorganized around the tclp.pl
library. Some code to lookup the standard tclp
type libraries was added. There is now a strong
typing of equality, available only via an option
(--strong_eq), since it does not correspond to the
true type discipline of tclp. A bug in which type
inference was too restrictive and didn't provide
the term x ... x term -> pred type by default was
fixed. The documentation was entirely rewritten,
and is now included in the distribution.
Tags: Development, Code cleanup

Project Resources

Project Page Download: Demo Home Page Download: TGZ