HANDBOOK
/
GENTLE PRIMER
/
Describing Computations
Invocations and Rules
Failure
Expressions and Patterns
Rule Bodies
Variables
Evaluation Strategy
Shallow Backtracking
Predicate Declarations
Conditions and Actions