DLV

DLV is a deductive database system based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms.

DLV<sup>DB</sup>

DLVDB is an extension of the DLV system designed both to handle input and output data distributed on several databases.

ASPIDE

ASPIDE is a Integrated Development Environment for Answer Set Programming supporting the entire life-cycle of ASP development.

JDLV

JDLV is a new programming framework blending DLV with Java programming.