|The DLV Wrapper Project|
|Download API docs Online Demo Papers FAQ contact|
The DLV Wrapper is a Java interface for the DLV system.
The DLV Wrapper is an Object-Oriented library that wraps up the DLV system in a Java program.
The DLV Wrapper allows to combine Java code with disjunctive logic programs, by using a suitable hierarchy of Java classes.
The DLV Wrapper Team
prof. Nicola Leone and ing. Francesco Ricca
|University of Calabria|
|Department of Mathematics|
For further information on the DLV Wrapper click here