Skip navigation links
Packages 
Package Description
abcdatalog.ast
This packages contains classes representing the core abstract syntax tree for AbcDatalog.
abcdatalog.ast.validation
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).
abcdatalog.ast.visitors
This package contains classes that implement the visitor design pattern for visiting AST nodes.
abcdatalog.engine
This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).
abcdatalog.engine.bottomup
This package contains classes and interfaces that are used in all of the bottom-up engines.
abcdatalog.engine.bottomup.concurrent
This package contains multi-threaded bottom-up Datalog evaluation engines.
abcdatalog.engine.bottomup.sequential
This package contains single-threaded bottom-up Datalog evaluation engines.
abcdatalog.engine.testing
This package contains classes for testing the correctness of an implementation of DatalogEngine.
abcdatalog.engine.topdown
This package contains implementations of standard top-down Datalog evaluation algorithms.
abcdatalog.executor
This package contains classes that implement a Datalog executor, which is a Datalog engine that runs asynchronously.
abcdatalog.gui
This package contains a graphical user interface for a Datalog editor and interpreter.
abcdatalog.parser
This package contains classes that implement a parser for Datalog source code.
abcdatalog.util
This package contains basic utilities.
abcdatalog.util.datastructures
This package contains data structures for storing and indexing Datalog facts.
abcdatalog.util.graph
This package contains utility classes for graph operations.
abcdatalog.util.substitution
This package contains classes that represents substitutions (i.e., mappings from variables to terms).
Skip navigation links