Package edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
package edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent
This package contains multi-threaded bottom-up Datalog evaluation engines.
-
ClassesClassDescriptionAn evaluation manager that implements a saturation algorithm similar to semi-naive evaluation.A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.This class implements an experimental multi-threaded Datalog evaluation algorithm that supports explicit unification and stratified negation.An evaluation manager for a concurrent semi-naive engine that runs asynchronously in the background.