Online Demo

This online demo of the dlvhex system allows for evaluating programs without local installation. This is intended mainly for testing and learning purposes. External sources for the program at the top may be directly implemented in a Python script below.

Please check out the predefined examples at the upper right corner for a quick overview or consider the links to the system documentation in the right-hand menu for a more detailed description.

(The online demo currently runs DLVHEX 2.5.0 [build Aug 22 2016 gcc 4.8.2])


Input

Load example:

Use advanced editor (powered by EditArea)

HEX-Program:

[Hide]



External Source Definition (Python):

[Hide]



Command-line Options:

[Hide]

Filter predicates (comma-separated):
Number of answer sets to compute
(empty or 0 means all):
Allow strong negation:
Liberal safety:
Custom options:

Output

Please prepare your input and click 'Evaluate' to run the reasoner

 

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