Previous Up Next
1 What is TCLP ?

TCLP is a type checker for Prolog/CLP(X). TCLP thus aims to introduce a typing discipline to contraint logic programming. That is, given a description of the types' universe, and the set of the types of used function symbols, TCLP will check the coherence of the use of these function symbols. TCLP take the program plus any type definitions as input and will output the type of infered predicates plus any errors w.r.t. the type checking.

Currently TCLP comes with definitions for three Prolog/CLP(X) dialects: ISO-Prolog, GNU-Prolog (with CLP(FD) extension) and SICStus Prolog with its libraries (including the constraint programming libraries CLP(B), CLP(FD), CLP(QR), CHR).

TCLP has been written in SICStus Prolog and comes in three forms: an online demo (Section 2), a SICStus Prolog library (Section 4) and a command line tool (Section 3).

1.1 Features

Previous Up Next