DLV with Inheritance

This is the homepage of DLV with inheritance, as described in "Disjunctive Logic Programs with Inheritance" by Francesco Buccafurri, Wolfgang Faber, and Nicola Leone.

Features

For a description of the non-inheritance features which DLV supports (builtins, etc.) we refer to the DLV homepage.

Examples

(including all programs shown in the paper)

We suggest to run some of them to get familiar with the system.

• Example 1,
• Tweety,
• Authorization, program for o2,
• Authorization, program for o3,
• Yale Shooting,
• Yale Shooting with builtins, use -N=3 on DLV's commandline,
• Clyde,
• Nixon,
• Blocksworld domain,
• The Sussman Anomaly (a blocksworld instance), commandline to use: DLV blocksworld sussman -N=3 -pfilter=move.