Typing
Keywords
: typing.
See separate sub-section on
meta-level
features.
Contents
Typed LP and call/1
Typing Declarations
Strong Typing
Strong Typing and Meta-programming
Strong Typing
Mercury Type System
Typing in Visual Prolog and Mercury
Prolog Type Checker
Figure
: Top | Net Talk | Typing.
To Figures
.