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

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

This package contains classes to check that a clause or a set of clauses (such as those parsed from user input) are valid (i.e., can be successfully evaluated).

Related Packages

Package	Description
edu.harvard.seas.pl.abcdatalog.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.ast.visitors	This package contains classes that implement the visitor design pattern for visiting AST nodes.

Class	Description
DatalogValidationException
DatalogValidator	A validator for a set of clauses.
DatalogValidator.True
DatalogValidator.ValidClause
StratifiedNegationValidator	A class for validating that an unstratified program can be successfully stratified for negation.
StratifiedProgram	A Datalog program that has been stratified; for instance, to support stratified negation.
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.