C++ API

API providing a stable interface for applications using Clingo. More...

Modules
	Core Functionality
	Core types and functions used throughout all modules and version information.
	Symbol Handling
	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.
	Scripting Support for Grounding
	Support for external functions solving customizations.
	Applications on top of Clingo
	Support for building applications on top of clingo.
	External Theory Support
	This module defines a well-specified C interface that must be implemented by external theory plugins.

Detailed Description

API providing a stable interface for applications using Clingo.

This API is suitable to develop performant applications on top of Clingo. It should generally be preferred to the low-level C bindings except maybe for language bindings.