T Y P I C A L
for Annotated Prolog

NOTE: This page describes the original version of Typical. There is also a newer version.

The aim of Typical is to do static type checking on logic programs. The software will check Prolog programs that are extended with type declarations. The type system includes subtyping and parametric polymorphism. A description of the general idea and of the techniques for type checking and type inferencing can be found in two technical reports (see below).

There is another instance of Typical, which is designed for first-order logic programs. More information is available on the companion page

README

A few examples of type annotated Prolog:

lib.pl

num.pl

poset.pl

posat.pl

Of course, the implementation of the type checker itself is an example of type annotated Prolog.

Software package:

(as tar-archive), (as zip-archive)

Report `On the Use of Types in Logic Programming'

Abstract, TeX-dvi, PostScript, Cover page, BibTeX entry

Report `Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism'

Abstract, TeX-dvi, PostScript, Cover page, BibTeX entry