CLP dialect :ISO PrologGNU PrologSicstus PrologOther (file)
Program to type check (below or local file)
Optional type declarations (below or local file)