Skip to content
Haskell bindings to the clingo C API
Haskell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
src
.gitignore
LICENSE
README.md
Setup.hs
clingo.cabal
stack.yaml

README.md

clingo Haskell bindings

Hackage

This library provides bindings to the clingo C API in Haskell. The aim is to provide both a high-level idiomatic Haskell library as well as low-level bindings. A low level (raw) binding is provided through the Clingo.Raw modules. This presents a 1:1 binding to the C version, and as such uses the same conventions, e.g. return values indicating success or failure and "logical" return values being given through pointer arguments.

Caveat

Here be dragons, some features are untested and may blow up your program due to some faulty FFI usage. Feel free to report any bugs you encounter.

Clingo Version

In its current state this library provides bindings to the Clingo API version 5.3.0. Due to breaking API changes in 5.2.0, this will not compile with earlier Clingo versions!

You can’t perform that action at this time.