TCLP : online demo

Demo

Teaching (french)

Emmanuel Coquery

CLP dialect :

Program to type check (below or local file)

Optional type declarations (below or local file)

Appending lists
The flatten example
Constraints on finite domains
Constraints on finite domains : send + more = money
Constraints on booleans
Constraints on booleans and finite domaines
Constraints Handling Rules
Overloading
Metaprogrammation
Inversion of arguments
Non genericity of a predicate declaration