Access |
Objects through which predicate extents are accessed.
|
Builtin |
Implementation of some Built-Ins.
|
Cfg |
Configuration.
|
Convert |
Convenience functions for accessing terms with OCaml.
|
DtIndex |
Discrimination tree indexing.
|
Env |
Entry point to "global" settings and datastructures.
|
Err |
Errors.
|
Evaluable |
Arithmetic evaluation.
|
Fact |
Representation of derived facts and associated meta information.
|
Fromonto |
Redirecting stdin and stdout.
|
Graph |
Graph operations.
|
Ic |
Compiled input clauses.
|
IcSet |
Creating and analyzing sets of compiled input clauses.
|
Index |
Index interface.
|
Info |
Printing human readable information.
|
LayeredIndex |
Indexes with undoable modifications.
|
Listutils |
Utility functions for list manipulation.
|
Main |
If this module is present,
Process.main () will be invoked.
|
Msg |
Messages to the user.
|
NegativeUnits |
Store for negative unit literals.
|
News |
Storing and processing of newly derived facts (similar to a SOS).
|
NoIndex |
An index implementation that does not do any indexing.
|
Opt |
Data structures used for optimization.
|
Ordset |
Representation of sets as ordered list.
|
Predicate |
Information associated with predicates.
|
Process |
The KRH processor main loop.
|
PrologGenlex |
A lexical analyzer for ISO-Prolog syntax.
|
PrologPrint |
Printing terms in ISO-Prolog syntax.
|
PrologRead |
ISO-Prolog parser.
|
Release |
Returns a string identifying the release of KRHyper distribution.
|
SharedInput |
Sharing of input terms.
|
StdOrder |
Comparison of terms according to the ISO-Prolog standard total
ordering of terms.
|
Tableau |
Evaluation of clause sets.
|
Term |
Term representation and operations on terms.
|
Termutils |
Utility functions for terms.
|
Weight |
Weighing Terms.
|