'-'/2
can have type int * int → int and type A * B → pair(A,B)TCLP is implemented in Prolog/CHR.
Note: the online demo does not work anymore.
TCLP 0.4.4 introduces type aliases.
TCLP 0.4.3 & fixed the online demo.
TCLP 0.4 is here !
Pre 0.4 release: 0.3f
Fixed binary for MacOSX without sicstus installed available here.
Bugfix realease: 0.3b
TCLP version 0.2.99g here
TCLP version 0.2.99e here
TCLP version 0.2.99d here
TCLP version 0.2.99, entirely rewritten in Prolog/CHR, with handling of overloading.
Download here, have a look at the documentation.
Bugfix version 0.2.1
New version 0.2
Updated the web site, including a new documentation section.
Included an install script Changed the options in the web interface (see the demo)
Initial version of TCLP (version 0.1)