The system TYPICAL provides static type-checking for full standard Prolog. Additional features of specific Prolog systems like SICStus Prolog can be handled via type libraries. The software checks Prolog programs with (semantically neutral) type annotations added. The type system 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').
The system TYPICAL was developed by the research group Praktische Informatik VIII, Prof. Christoph Beierle, Department of Computer Science, University of Hagen, Germany.
TYPICAL was designed, implemented and maintained until release 0.4999 by Gregor Meyer within the Project CTL ('Compilation of typed logics'), funded by the Deutsche Forschungsgemeinschaft in the research program Deduction. G. Veltmann and L. Zhong worked on modules and the constraint solver. The changes in the module concept, user interface and in the error handling of release 0.51 of the TAP-instance of TYPICAL were made by Reinhold Kloos within the framework of his diploma thesis. He enhanced the release with a concept of meta-types, obtaining the current release. The system is being maintained by M. Kulas. If you have any questions or comments on the system, please contact typical@fernuni-hagen.de