TYPICAL libraries

To ease writing type-annotations, TYPICAL offers several libraries.
They contain useful type definitions and predicate declarations, which can be imported.

prolog_types.pl

Predicate declarations of the syntactical kernel of standard Prolog and some special directives.

Commonly used type definitions like list(T).
(imports prolog_arith.pl)

prolog_arith.pl

Predicate declarations for numerical expressions.

Type definition e.g. of numexpr
(imports prolog_num.pl)

prolog_num.pl

Declarations of numerical type predicates like integer/l or float/l.

Numerical types are defined (num, int, nat, posint, negint, zero, float).

prolog_meta.pl

Predicate declarations and type definitions for meta-programming.

(imports prolog_type.pl)

prolog_io.pl

Declarations of predicates for input and output (stream control, byte I/O, character I/O, term I/O).

(imports prolog_meta.pl)

prolog_misc.pl

Predicate declarations of miscellaneous commonly used predicates like foreign/2.

(not very important, imports prolog_meta.pl)

prolog_dcg.pl

The predicate 'C/3' used in definite clause grammars is declared.

(imports prolog_meta.pl)

PREV: Use of TYPICAL

NEXT: Type definition