Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


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.