Modules

Here is a list of all modules:

[detail level 12]

Basic Data Types and Functions	Data types and functions used throughout all modules and version information
Symbols	Working with (evaluated) ground terms and related functions
Abstract Syntax Trees	Functions and data structures to work with program ASTs
▼Grounding and Solving	Functions to control the grounding and solving process
Symbolic Atom Inspection	Inspection of atoms occurring in ground logic programs
Theory Atom Inspection	Inspection of theory atoms occurring in ground logic programs
Theory Propagation	Extend the search with propagators for arbitrary theories
Program Building	Add non-ground program representations (ASTs) to logic programs or extend the ground (aspif) program
Solver Configuration	Configuration of search and enumeration algorithms
Statistics	Inspect search and problem statistics
Model Inspection	Inspection of models and a high-level interface to add constraints during solving
Solving	Interact with a running search
Program Inspection	Functions and data structures to inspect programs
Extending Clingo	Functions to customize clingo's main function