io.github.harvardpl:AbcDatalog 0.7.2 API
Packages
Package
Description
AbcDatalog, an implementation of Datalog that is intended to be easily extensible with new
language features and new evaluation engines.
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 a graphical user interface for a Datalog editor and interpreter.
This package contains classes that implement a parser for Datalog source code.
This package contains basic utilities.
This package contains data structures for storing and indexing Datalog facts.
This package contains utility classes for graph operations.
This package contains classes that represents substitutions (i.e., mappings from variables to
terms).