The DLV (DataLog with Disjunction, where the
logical disjunction symbol V is used) system is a
disjunctive logic programming system, implementing the
stable model semantics under the Answer set programming
paradigm.
DataLog with Disjunction, a logic programming system, referred to as DLV