I-DLV

• 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.

Basic Version

• About
  • Download
  • How to execute
  • How to cite I-DLV
• Syntax
  • Basic Language
  • Costraint and Functions
  • Modelling and Programming Techniques
  • Default External Atoms and List Terms
• Example
  • Same generation
  • Reachability
  • Hamiltonian Path
  • Minimum Spanning Tree
  • 3-colorability
  • Arithmetic
  • String
  • List

Advanced Version

• About
  • Download
• Syntax
  • External Computations
    • Python External Atoms
    • Native Directives
• Example
  • External Computations
    • Example Compute Sum

Incremental Version

• About
  • Download
  • How to execute
  • How to Cite I²DLV
• Syntax
  • Command
    • XML Command Scripts
    • Command-line Options
• Example
  • Disjunction
    • How to execute
  • Recursion
    • How to execute

Contact Us

• Contacts
• Core Team