Writing HEX-Programs

The language of HEX-programs is an extension of disjunctive datalog. It largely implements the ASP-Core-2 Standard and extends it with external atoms.

Syntactically, if the language is restricted to programs without external sources, it is also strongly related to DLV-syntax. The following list displays the language constructs that correspond to DLV (along with the links to the respective DLV-manual section):

Also the chapter about safety there as well applies to dlvhex.

Please see also the Getting Started guide.


dlvhex source code @ github.com

Popular Plugins
Action Plugin
DecisionDiagrams Plugin
Description Logics Plugin
Description Logics Lite Plugin
MELD: Belief Merging Plugin
Nested HEX Plugin
MCSIE Plugin
String Plugin
dlvhex-semweb Project

User Guide
Writing Plugins in C++
Writing Plugins in Python