This theory groups the minimal set of predicates that need to be
predefined by the interpreter itself:
- Special Predicates:
The interface of special built-ins is currently not published. More...
- Body Conversion: Naked goals in bodies and rules are
automatically wrapped. More...
- Control Predicates:
The core predicates of the interpreter. More...
- Optimization Techniques: Optimization
up predicate execution. More...
- Clause Indexing: Clause
also speeds up predicate execution. More...
- Module Statistics: This module provides some execution
- Compatibility Matrix: ISO/DEC10
the control theory. More...