Package edu.harvard.seas.pl.abcdatalog.engine.topdown

Class IterativeQsqEngine

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine

edu.harvard.seas.pl.abcdatalog.engine.topdown.IterativeQsqEngine

All Implemented Interfaces:

DatalogEngine

public class IterativeQsqEngine
extends AbstractQsqEngine

A Datalog evaluation engine that uses an iterative version of the query-subquery top-down technique.

Field Summary

Fields inherited from class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine

edbRelations, idbRules

Constructor Summary

Constructors

Constructor	Description
IterativeQsqEngine()

Method Summary

Modifier and Type	Method	Description
Set<PositiveAtom>	query(PositiveAtom q)	Returns all facts that 1) can be derived from the rules and initial facts that were used to initialize this engine and 2) unify with the query.

Methods inherited from class edu.harvard.seas.pl.abcdatalog.engine.topdown.AbstractQsqEngine

applyBoundArgs, checkIfEdbQuery, init

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

IterativeQsqEngine

public IterativeQsqEngine()

Method Details

query

public Set<PositiveAtom> query(PositiveAtom q)

Description copied from interface: DatalogEngine

Returns all facts that 1) can be derived from the rules and initial facts that were used to initialize this engine and 2) unify with the query.

Specified by:

query in interface DatalogEngine

Specified by:

query in class AbstractQsqEngine

Parameters:

q - the query

Returns:

facts