Interface EvalManagerWithProvenance
- All Superinterfaces:
EvalManager
- All Known Implementing Classes:
SemiNaiveEvalManager
-
Method Summary
Modifier and TypeMethodDescriptiongetJustification
(PositiveAtom fact) Return the last rule used in the justification of the given atom.Methods inherited from interface edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManager
eval, initialize
-
Method Details
-
getJustification
Return the last rule used in the justification of the given atom. The returned rule should be ground (variable-free). Return null if the given atom is not a fact or was not derived.- Parameters:
fact
- the fact- Returns:
- the last rule used to justify that fact
-