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

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

This package contains classes and interfaces that are used in all of the bottom-up engines.

Related Packages

Package	Description
edu.harvard.seas.pl.abcdatalog.engine	This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).
edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent	This package contains multi-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential	This package contains single-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.

Class	Description
AnnotatedAtom	An annotated atom.
AnnotatedAtom.Annotation
BottomUpEngineFrame<E extends EvalManager>	A framework for a bottom-up Datalog engine.
BottomUpEngineFrameWithProvenance
ClauseEvaluator	This class provides a way to derive all the new facts that are derivable from a given rule, given an initial fact that unifies with the first atom in the body of the clause.
EvalManager	The saturating evaluation manager for a bottom-up Datalog evaluation engine.
EvalManagerWithProvenance
SemiNaiveClauseAnnotator	A class for annotating a clause with annotations helpful for semi-naive evaluation.
SemiNaiveClauseAnnotator.SemiNaiveClause