Uses of Package
edu.harvard.seas.pl.abcdatalog.ast
Packages that use edu.harvard.seas.pl.abcdatalog.ast
Package
Description
This packages contains classes representing the core abstract syntax tree for AbcDatalog.
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 classes that implement the visitor design pattern for visiting AST nodes.
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 data structures for storing and indexing Datalog facts.
This package contains classes that represents substitutions (i.e., mappings from variables to
terms).
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.astClassDescriptionA zero-ary function symbol (i.e., a constant in Datalog).The head of a clause.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.A premise in the body of a clause.A Datalog term (i.e., a constant or variable).A Datalog variable.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.ast.validationClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.ast.visitorsClassDescriptionThis premise explicitly disallows the unification of two terms and is represented by the operator
!=.This premise explicitly unifies two terms and is visually represented as the operator=.A zero-ary function symbol (i.e., a constant in Datalog).The head of a clause.A negated atom.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A premise in the body of a clause.A Datalog term (i.e., a constant or variable).A Datalog variable. -
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.engineClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.engine.bottomupClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.A premise in the body of a clause.A Datalog term (i.e., a constant or variable).
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrentClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequentialClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.engine.topdownClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.A Datalog term (i.e., a constant or variable).
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.executorClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.parserClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A non-negated atom; i.e., a predicate symbol, and a sequence of terms.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.util.datastructuresClassDescriptionA non-negated atom; i.e., a predicate symbol, and a sequence of terms.A basic predicate symbol in Datalog.
-
Classes in edu.harvard.seas.pl.abcdatalog.ast used by edu.harvard.seas.pl.abcdatalog.util.substitutionClassDescriptionA clause consisting of a head and a body, the latter of which is a list of premises.A zero-ary function symbol (i.e., a constant in Datalog).A non-negated atom; i.e., a predicate symbol, and a sequence of terms.A Datalog term (i.e., a constant or variable).A Datalog variable.