Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Clingo C API

This API provides functions to ground and solve logic programs.The documentation is structured into different modules. To get an overview, checkout the Modules page. To get started, take a look at the documentation of the Grounding and Solving module.

The source code of clingo is available on github.com/potassco/clingo.

For information about the syntax and semantics of the clingo language, take a look the Potassco Guide.

Note
Each module comes with an example highlighting key functionality. The example should be studied along with the module documentation.