C. Beierle, R. Kloos, and G. Meyer. A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming. In Proc. of the ICLP'99 Workshop on Verification of Logic Programs, Las Cruces, Electronic Notes in Theoretical Computer Science, volume 30, issue 1. Elsevier, 2000.
Approaches to typing logic programs often exclude various features of Standard Prolog. The system Typical for annotated Prolog (TaP) is a pragmatic approach to type checking programs written in Prolog without restricting the scope of the language. TaP checks Prolog programs that are extended with type declarations that support parametric polymorphism and subtyping. The purpose of this paper is to present an approach that extends Typical by meta-types for handling Prolog meta-programming techniques.