Uses of Interface
edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram

Packages that use 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).