Uses of Interface
edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
Package
Description
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).
-
Uses of UnstratifiedProgram in edu.harvard.seas.pl.abcdatalog.ast.validation
Modifier and TypeInterfaceDescriptioninterface
A Datalog program that has been stratified; for instance, to support stratified negation.Modifier and TypeMethodDescriptionModifier and TypeMethodDescriptionstatic StratifiedProgram
StratifiedNegationValidator.validate
(UnstratifiedProgram prog) Validates that the given unstratified program can be stratified for negation and returns a witness stratified program.