Package edu.harvard.seas.pl.abcdatalog.executor

Interface DatalogListener

public interface DatalogListener
A callback that is registered with a Datalog executor and is invoked during evaluation.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    newFactDerived(PositiveAtom fact)
    Is invoked when a relevant new fact is derived during Datalog evaluation.

  • Method Details

    • newFactDerived

      void newFactDerived(PositiveAtom fact)
      Is invoked when a relevant new fact is derived during Datalog evaluation. Note that fact.isGround() will be true (i.e., a fact is a ground atom).
      Parameters:
      fact - the new fact