Previous Up Next
2 Online demo

2.1 Quick start

You can find the online demo at:
http://contraintes.inria.fr/~coquery/tclp/exemples/demo.en.html.



There you can try to type check some programs by writing them into the ``Program to type check'' area, ex:
append([],L,L).
append([X|L],L2,[X|R]) :- append(L,L2,R).
By clicking on the type inference button, you will get the following result:
%% tclp 0.2.99g
%% starting type checking ...
:- typeof append(list(A),list(A),list(A)) is pred.
%% finished
You can also tell TCLP what Prolog/CLP dialect you are using with CLP dialect box.

2.2 Advanced usage

Here is a description of the different options you can use in the online demo:
Previous Up Next