Next:
Prolog
Up:
No Title
Previous:
Summarizing
The Prolog Language
Prolog
Control Annotation
Goal Ordering
Clause Ordering
Arithmetic
Type Predicates
Structure Inspection
Input/Output
Pruning Operators: Cut
White cuts
Green cuts
Red cuts,
Meta-Logical Predicates
Meta-calls (Higher Order)
findall(Term, Goal, List)
Negation as Failure
Dynamic Program Modification
Foreign Language Interface
MCL
1998-12-03
