A | |
| applicability_value [Opt] |
Between 0.0 and 1.0.
|
| aux [Ordset.AuxOrderedType] | |
| aux [Ordset.AuxS] | |
| aux [Ic.Aux] |
Used to hold auxiliary datastructures.
|
B | |
| binding_pattern [Opt] | |
| body [Ic] | |
| bound [Opt] | |
C | |
| cfg [Cfg] | |
| clause [Ic] | |
| clauses [IcSet] | |
| compound [Term] | |
| context [Term] |
A context is used to represent undoable variable bindings within a term.
|
D | |
| declaration [Opt] | |
| delayed_clause [News] | |
| deterministic_builtin [Term] |
Function type for a built-in that succeeds at most once.
|
| discrimination_value [Opt] |
Used as hint for optimizations.
|
| discrimination_values [Opt] |
Array of discrimination values corresponding to the arguments
of a predicate.
|
| disjunct [News.Disjunct] | |
E | |
| elem [Ordset.AuxS] | |
| entry [NoIndex] | |
| entry [LayeredIndex.LayeredIndex] | |
| entry [Index.EntryType] |
The type of the entries.
|
| entry [Fact] | |
| entry [Index.Index] |
The type of the index entries.
|
| env [Env] | |
F | |
| f [Term] |
The type of functions which are associated with symbols in
functional role.
|
| fact [Fact] | |
H | |
| head [Ic.DisjunctiveHead] | |
| head [Ic] | |
| hkey [DtIndex] |
Used by
TableType.
|
I | |
| index [NoIndex] | |
| index [LayeredIndex.LayeredIndex] | |
| index [Index.Index] |
The type of an index.
|
| indexargs [Opt] |
Specifiers for arguments to be indexed.
|
| indextype [Opt] |
Specifiers for index types.
|
K | |
| key [DtIndex.TableType] | |
L | |
| l_proof [Fact] | |
| literal [Ic.HeadLiteral] | |
| literal [Ic.BodyLiteral] | |
M | |
| mode [Opt] | |
| mode_specifier [Opt] | |
N | |
| news [News] |
The type of
news objects.
|
P | |
| p [Term] |
The type of functions which are associated with symbols in predicate role.
|
| p_graph [Graph] |
Graphs in P-representation.
|
| predicate [Predicate] |
The type of predicate objects.
|
| predicate_kind [Opt] |
Specifiers for different kinds of predicates.
|
| predicate_table [Predicate] | |
| prolog_token [PrologGenlex] |
The type of tokens.
|
| proof [Opt] |
Specifies the dependency of builtin predicates.
|
| proof [Fact] | |
| proof_term_aux [Fact] | |
R | |
| reader [Access.Reader] | |
| refutation [Tableau] | |
| result [Tableau] |
Represents an open hypertableau fragment or a closed hypertableau.
|
S | |
| s_graph [Graph] |
Graphs in S-representation.
|
| saved_trail [Term] |
A representation of a trail state, that can be used to undo bindings.
|
| sign [Ic] | |
| state [News] | |
| state [NegativeUnits] | |
| state [LayeredIndex.LayeredIndex] | |
| state [Access.Store] | |
| statement_type [Env] | |
| store [NegativeUnits] | |
| store [Access.Store] | |
| symbol [Term] |
A symbol corresponds to a constant or functor symbol along with its
arity.
|
| symbol_table [Term] |
Symbols are maintained by a symbol table.
|
T | |
| t [Ordset.AuxOrderedType] | |
| t [DtIndex.TableType] | |
| table [SharedInput] | |
| term [Term] | |
| term_weighing_method [Weight] |
An object of this type specifies how the term weight value for
a given term is computed.
|
| trail [Term] |
A trail is used to record variable bindings, that may be undone.
|
V | |
| variable [Term] |
Different occurences of the same variable are not shared as
objects.
|
| verbosity [Cfg] |
What messages are printed is determined by a global variable
indicating verbosity by an integer.
|
W | |
| writer [Access.Writer] |