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

Class ConjunctiveQueryHelper

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.ConjunctiveQueryHelper

public final class ConjunctiveQueryHelper
extends Object

A helper that adds (naive) conjunctive query support to an arbitrary DatalogEngine by turning a conjunctive query into multiple singleton queries.

Method Summary

Modifier and Type	Method	Description
static Set<ConstOnlySubstitution>	query(DatalogEngine engine, List<PositiveAtom> query)

Methods inherited from class java.lang.Object

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

Method Details

query

public static Set<ConstOnlySubstitution> query(DatalogEngine engine,
 List<PositiveAtom> query)