CLP dialect :ISO PrologGNU PrologSicstus PrologOther (file)
Program to type check (below or local file) append([],L,L). append([X|L],L2,[X|R]) :- append(L,L2,R).
Optional type declarations (below or local file)