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