Package org.deri.iris.rules

Interface Summary

IRuleHeadEqualityPreProcessor	An interface for rule head equality pre-processors.
IRuleOptimiser	Represents all classes that optimise a single rule.
IRuleReOrderingOptimiser	Represents all classes that can optimise the order of rule evaluation.
IRuleSafetyProcessor	Represents all classes that perform rule-safety processing.
IRuleStratifier	Interface to all rule stratifiers.

Class Summary

DisallowRuleHeadEquality	This pre-processor throws an exception if the specified list of rules contains a rule with rule head equality.
IgnoreRuleHeadEquality	This pre-processor ignores any rule with rule head equality.
RuleAnalyser	Methods to analyse rules.
RuleHeadEquality	An utility class for rule head equality.
RuleHeadEqualityRewriter	An utility class that creates new rules to realize support for rule head equality.
RuleManipulator	A collection of useful rule manipulation operations.
RuleValidator	We use the definition of a safe rule as described by Ullman, page 105.