Startseite › Forschung › Projekte › TYPICAL for Annotated Prolog

TYPICAL for Annotated Prolog

"TYPICAL for Annotated Prolog" is a public domain software providing static type-checking for full standard Prolog. Additional features of specific Prolog implementations like SICStus Prolog can be handled via type libraries. The software checks Prolog programs with (semantically neutral) type annotations added. Type concept of TYPICAL allows subtyping and parametric polymorphism. The key novelties of the approach are new, more precise type annotations based on type constraints, and a better suited notion of well-typing in the presence of type parameters (′type consistency′).