Type analysis of Prolog using type graphs
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier · 1994
Type analysis of Prolog is of primary importance for high-performance compilers, since type information may lead to better indexing and to sophisticated specializations of unification and built-in predicates to name a few. However, these optimizations often require a sophisticated type inference system capable of inferring disjunctive and recursive types and hence expensive in computation time.