Package org.deri.iris.evaluation.topdown

Interface Summary

ILiteralSelector	Selects a literal from a list of literals
IPredicateTagger	Used by OLDT evaluation to tag predicates as so-called 'memo predicates' If no predicate is tagged as a memo predicate, OLDT resolution behaves like OLD resolution (equals SLD with standard literal selector).
ITopDownEvaluator	Interface for top-down evaluators

Class Summary

AllPredicateTagger
CommonPredicateTagger
FirstLiteralSelector	Safe Standard Literal Selector.
QueryWithSubstitution	A query with an associated substitution form a branch/subgoal in a top-down evaluation tree.
RecursivePredicateTagger
SafeStandardLiteralSelector	Safe Standard Literal Selector.
StandardLiteralSelector	Standard Literal Selector.
TopDownHelper	Collection of helper functions for top-down evaluation strategies

Exception Summary

MaximumRecursionDepthReachedException

Exception to be thrown at a certain nesting level.