CLP dialect :ISO PrologGNU PrologSicstus PrologOther (file)
Program to type check (below or local file) length2(List1,List2,Length) :- append(List1,List2,List3), length(Length,List3).
Optional type declarations (below or local file)