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

Class SemiNaiveEngine

java.lang.Object

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

edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrameWithProvenance

edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEngine

All Implemented Interfaces:

DatalogEngine, DatalogEngineWithProvenance

public class SemiNaiveEngine
extends BottomUpEngineFrameWithProvenance

A Datalog engine that implements the classic semi-naive bottom-up evaluation algorithm. It supports explicit unification and stratified negation.

Field Summary

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

manager

Constructor Summary

Constructors

Constructor	Description
SemiNaiveEngine(boolean collectProv)

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
static DatalogEngine	newEngine()
static DatalogEngineWithProvenance	newEngineWithProvenance()

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

getJustification

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

init, query, query

Constructor Details

SemiNaiveEngine

public SemiNaiveEngine(boolean collectProv)

Method Details

newEngine

public static DatalogEngine newEngine()

newEngineWithProvenance

public static DatalogEngineWithProvenance newEngineWithProvenance()

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception