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

Class DatalogValidator

java.lang.Object

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

public class DatalogValidator
extends Object

A validator for a set of clauses. It converts a set of clauses to a program, which consists of a set of initial facts and a set of rules for deriving new facts. The rules in a program are guaranteed to be valid.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	DatalogValidator.True
static final class	DatalogValidator.ValidClause

Constructor Summary

Constructors

Constructor	Description
DatalogValidator()

Method Summary

Modifier and Type	Method	Description
UnstratifiedProgram	validate(Set<Clause> program)
UnstratifiedProgram	validate(Set<Clause> program, boolean treatIdbFactsAsClauses)
DatalogValidator	withAtomNegationInRuleBody()
DatalogValidator	withBinaryDisunificationInRuleBody()
DatalogValidator	withBinaryUnificationInRuleBody()

Methods inherited from class java.lang.Object

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

Constructor Details

DatalogValidator

public DatalogValidator()

Method Details

withBinaryUnificationInRuleBody

public DatalogValidator withBinaryUnificationInRuleBody()

withBinaryDisunificationInRuleBody

public DatalogValidator withBinaryDisunificationInRuleBody()

withAtomNegationInRuleBody

public DatalogValidator withAtomNegationInRuleBody()

validate

public UnstratifiedProgram validate(Set<Clause> program)
                             throws DatalogValidationException

Throws:

DatalogValidationException

validate

public UnstratifiedProgram validate(Set<Clause> program,
 boolean treatIdbFactsAsClauses)
                             throws DatalogValidationException

Throws:

DatalogValidationException