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').
Copyright © 1997-2000, Praktische Informatik VIII,
FernUniversität Hagen.