This API provides functions to ground and solve logic programs.

The documentation is structured into different modules. To get an overview, checkout the Topics page.

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 in the C API comes with an example highlighting key functionality. The example should be studied along with the module documentation.