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

Class RecursiveQsqEngine

java.lang.Object

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

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

All Implemented Interfaces:

DatalogEngine

public class RecursiveQsqEngine
extends AbstractQsqEngine

A Datalog evaluation engine that uses a recursive 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
RecursiveQsqEngine()

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

RecursiveQsqEngine

public RecursiveQsqEngine()

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