Uses of Package
edu.harvard.seas.pl.abcdatalog.ast.validation
Packages that use edu.harvard.seas.pl.abcdatalog.ast.validation
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).
This package contains the standard interface for a Datalog engine (see
DatalogExecutor for an alternative interface).This package contains classes and interfaces that are used in all of the bottom-up engines.
This package contains multi-threaded bottom-up Datalog evaluation engines.
This package contains single-threaded bottom-up Datalog evaluation engines.
This package contains implementations of standard top-down Datalog evaluation algorithms.
This package contains classes that implement a Datalog executor, which is a Datalog engine that
runs asynchronously.
This package contains classes that represents substitutions (i.e., mappings from variables to
terms).
-
Classes in edu.harvard.seas.pl.abcdatalog.ast.validation used by edu.harvard.seas.pl.abcdatalog.ast.validationClassDescriptionA validator for a set of clauses.A Datalog program that has been stratified; for instance, to support stratified negation.A Datalog program for which each rule and initial fact has been independently validated, but the program as a whole has not been validated.
-
-
-
-
-
-
-