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

Class ConcurrentBottomUpEngine

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame<EvalManager>

edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.ConcurrentBottomUpEngine

All Implemented Interfaces:

DatalogEngine

public class ConcurrentBottomUpEngine
extends BottomUpEngineFrame<EvalManager>

A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation. It supports explicit unification.

Field Summary

Fields inherited from class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame

manager

Constructor Summary

Constructors

Constructor	Description
ConcurrentBottomUpEngine()

Method Summary

Methods inherited from class edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrame

init, query

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface edu.harvard.seas.pl.abcdatalog.engine.DatalogEngine

query

Constructor Details

ConcurrentBottomUpEngine

public ConcurrentBottomUpEngine()