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

Link to Website