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

package edu.harvard.seas.pl.abcdatalog.executor

This package contains classes that implement a Datalog executor, which is a Datalog engine that runs asynchronously. New facts can be added to the engine in the midst of evaluation.

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.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
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.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
DatalogExecutor	A interface to an ongoing Datalog evaluation that allows for callbacks to be registered that are invoked when relevant new facts are derived and for new EDB facts to be added in the midst of evaluation.
DatalogListener	A callback that is registered with a Datalog executor and is invoked during evaluation.
DatalogParallelExecutor	A Datalog executor that runs the actual Datalog evaluation concurrently in separate threads.
ExecutorExample	A basic demonstration of how to use a Datalog executor.