Package edu.harvard.seas.pl.abcdatalog.engine.bottomup

Interface EvalManagerWithProvenance

All Superinterfaces:
EvalManager
All Known Implementing Classes:
SemiNaiveEvalManager
public interface EvalManagerWithProvenance extends EvalManager

  • Method Summary

    Modifier and Type
    Method
    Description
    Clause
    getJustification(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

      Clause getJustification(PositiveAtom fact)
      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