This theory groups the minimal set of predicates that need to be
predefined by the interpreter itself:
- Module "special": The
interface of special built-ins is currently not published. More...
- Module "body": Naked goals in bodies and rules are
automatically wrapped. More...
- Module "control": The
core predicates of the interpreter. More...
- Optimization Techniques: Optimization
up predicate execution. More...
- Clause Indexing: Clause
also speeds up predicate execution. More...
- Indexable Conditions: Indexing works together with
term sharing. More...
- Compatibility Matrix: ISO/DEC10
the control theory. More...