Documentation
For the User
The getting started section provides a quick intro to the usage of dlvhex.
For a guide through the language of disjunctive datalog, we list the subset of DLV syntax that is understood by dlvhex in a small outline of the HEX language. For detailed information please consult the literature.
We also guide you through the usage of some currently available plugins:
For the Developer
We provide the documentation of the dlvhex doxygen source documentation, which include a short manual for developing a plugin. Read it carefully, especially the section about "Building the Plugin," and don't forget to install the tools mentioned there.
