DLVHEX

The dlvhex Solver dlvhex is the name of a prototype application for computing the models of so-called HEX-programs, which are an extension of Answer-Set Programs towards integration of external computation sources. The source code of dlvhex is hosted using git at github.com/hexhex. Packages (tarballs) of dlvhex can be downloaded from the SourceForge dlvhex project page. If you are looking for the RDF- or SPARQL-plugin, please have a look at the SourceForge dlvhex-semweb project page.