| |
TYPICAL offers directives for typing (e.g. type, pred) and predicates for meta-programming (e.g. fcall/N) in order to statically type check programs in standard Prolog.
These directives are essential for the type checker. They are semantically neutral. Due to the static type checking, at runtime they are transparent. Thus programs with type-annotations are as fast as without them.
In order to use TYPICAL, it is necessary to load one of the following files:
 |
PREV:  Guided Tour |
NEXT:  TYPICAL libraries |