DLV: Evolution and Perspectives

Mario Alviano, Francesco Calimeri, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Jessica Zangari
DeMaCS, University of Calabria, Italy
Carmine Dodaro
DIBRIS, University of Genova, Italy
Pierfrancesco Veltri
DLVSystem Srl, Italy,

Complete, PDF Version


DLV is a system for Answer Set Programming (ASP), a logic-based programming paradigm for solving problems in a fully declarative way. It has been one of the first solid  and reliable ASP systems, widely used in academy and fruitfully employed in many relevant industrial applications. In this paper we first provide an overview of DLV and its evolution, and then present DLV2 [1], a completely re-engineered version of the system that relies on the combination of the I-DLV grounder [2] and the WASP  solver [3]. The new system supports ASP-Core-2 input programs that can be enriched by annotations and directives for customizingheuristics of the system and extending solving capabilities; furthermore, an empirical analysis shows that DLV2 also outperforms the “old” DLV in terms of performance.

  1. Alviano, M., Calimeri, F., Dodaro, C., Fuscà, D., Leone, N., Perri, S., Ricca, F., Veltri, P., Zangari, J.: The ASP system DLV2. In: LPNMR. Lecture Notes in Computer Science, vol. 10377, pp. 215-221. Springer (2017)
  2. Calimeri, F., Fuscà, D., Perri, S., Zangari, J.: I-DLV: the new intelligent grounder of DLV. Intelligenza Artificiale 11(1), 5-20 (2017), http://dx.doi.org/10.3233/ IA-170104
  3. Alviano, M., Dodaro, C., Leone, N., Ricca, F.: Advances in WASP. In: LPNMR. LNCS, vol. 9345, pp. 40-54. Springer (2015)