• I-DLV is a full-fledged Answer Set Programming and Datalog reasoner. It supports the ASP-Core-2 standard language; nevertheless, the system supports additional linguistic extensions such as list terms and external atoms.

  • I-DLV is also a full-fledged deductive database system, supporting query answering powered by the Magic Sets technique. I-DLV has also been integrated as the grounding module of the completely renewed second version of the logic-based Artificial Intelligence system DLV.

Contact Us