Package org.deri.iris

Class Summary

Configuration	This class holds all configuration data for a knowledge base.
ConfigurationThreadLocalStorage	A utility to allocate a configuration object to the current thread.
KnowledgeBase	The concrete knowledge-base.
KnowledgeBaseFactory	The factory for creating a knowledge-base.
VariableExtractor	Helpermethods to extract variables from terms, tuples and literals.

Enum Summary

Configuration.DivideByZeroBehaviour

The different options for handling divide by zero in arithmetic built-ins during evaluation.

Exception Summary

EvaluationException	Indicates any problem that halts the evaluation process.
ProgramNotStratifiedException	Indicates that evaluation could not continue, because of the logic program is not stratified.
RuleUnsafeException	Indicates that evaluation could not continue, because of an unsafe rule.