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 calling external functions during grounding and customizing the main solving loop.
	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.

The API is mainly intended for developing higher level language bindings.