B | |
| bound [Bound] |
Here all candidates are checked for exceeding the iterative deepening bound.
|
F | |
| flag_type [Flags] |
signature for all flags
|
L | |
| log [Log] |
prints the current derivation.
|
P | |
| predicate_index [Term_indexing] |
The interface for a predicate term indexing module.
|
| problem [Problem] |
a problem clause set
|