Package edu.harvard.seas.pl.abcdatalog.ast.validation

Interface UnstratifiedProgram

All Known Subinterfaces:

StratifiedProgram

public interface UnstratifiedProgram

A Datalog program for which each rule and initial fact has been independently validated, but the program as a whole has not been validated. That is, it guarantees that each clause of a program is independently valid, but says nothing about whether the clauses taken together make sense. This might be a concern for language features such as negation, where certain dependencies between clauses are undesirable.

Method Summary

Modifier and Type	Method	Description
Set<PredicateSym>	getEdbPredicateSyms()
Set<PredicateSym>	getIdbPredicateSyms()
Set<PositiveAtom>	getInitialFacts()
Set<DatalogValidator.ValidClause>	getRules()

Method Details

getRules

Set<DatalogValidator.ValidClause> getRules()

getInitialFacts

Set<PositiveAtom> getInitialFacts()

getEdbPredicateSyms

Set<PredicateSym> getEdbPredicateSyms()

getIdbPredicateSyms

Set<PredicateSym> getIdbPredicateSyms()