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):
- Facts (EDB)
- Rules (IDB)
- Integrity constraints
- Comparative Predicates
- Arithmetic Predicates
- Queries (with
--query-enable) - Weak Constraints (with
--weak-enable) - Aggregate Predicates (with
--aggregate-enable)
Also the chapter about safety there as well applies to dlvhex.
Please see also the Getting Started guide.
General
dlvhex source code @ github.com
Description-Of-A-Project
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
Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python