Uses of Package
edu.harvard.seas.pl.abcdatalog.executor
Package
Description
This package contains multi-threaded bottom-up Datalog evaluation engines.
This package contains classes that implement a Datalog executor, which is a Datalog engine that
runs asynchronously.
-
ClassDescriptionA callback that is registered with a Datalog executor and is invoked during evaluation.
-
ClassDescriptionA 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.A callback that is registered with a Datalog executor and is invoked during evaluation.