Next:
Types
, Previous:
Introduction
, Up:
Top
2 Syntax
Syntax Overview
Tokens
Terms
Builtin Operators
Items
Declarations
Facts
Rules
Goals
State variables
DCG-rules
DCG-goals
Data-terms
Variable scoping
Implicit quantification
Elimination of double negation