Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.Clause

Packages that use Clause
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 implement a parser for Datalog source code.
This package contains classes that represents substitutions (i.e., mappings from variables to terms).