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

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

This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).

Related Packages

Package	Description
edu.harvard.seas.pl.abcdatalog	AbcDatalog, an implementation of Datalog that is intended to be easily extensible with new language features and new evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.
edu.harvard.seas.pl.abcdatalog.engine.topdown	This package contains implementations of standard top-down Datalog evaluation algorithms.
edu.harvard.seas.pl.abcdatalog.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.executor	This package contains classes that implement a Datalog executor, which is a Datalog engine that runs asynchronously.
edu.harvard.seas.pl.abcdatalog.gui	This package contains a graphical user interface for a Datalog editor and interpreter.
edu.harvard.seas.pl.abcdatalog.parser	This package contains classes that implement a parser for Datalog source code.
edu.harvard.seas.pl.abcdatalog.util	This package contains basic utilities.

Class	Description
ConjunctiveQueryHelper	A helper that adds (naive) conjunctive query support to an arbitrary DatalogEngine by turning a conjunctive query into multiple singleton queries.
DatalogEngine	A Datalog evaluation engine.
DatalogEngineWithProvenance	A Datalog evaluation engine that retains fact provenance.
EngineExample