DLV with Recursive Aggregates

This is a temporary page for making the prototype implementation for recursive aggregates (monotone and antimonotone) available. At the moment, only monotone and antimonotone aggregates may be involved in recursion. This condition is currently not checked, so you will get undefined results for programs with recursive nonmonotone aggregates.

Please send feedback to Mario Alviano, Wolfgang Faber, or Nicola Leone.

Prototype

We provide a prototype system available for download: Linux i386 version. (updated 2007-04-14)