ASPIDE: Integrated Development Environment for Answer Set Programming

  • Onofrio Febbraro
  • Kristian Reale
  • Francesco Ricca
Conference paper

DOI: 10.1007/978-3-642-20895-9_37

Volume 6645 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Febbraro O., Reale K., Ricca F. (2011) ASPIDE: Integrated Development Environment for Answer Set Programming. In: Delgrande J.P., Faber W. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Lecture Notes in Computer Science, vol 6645. Springer, Berlin, Heidelberg

Abstract

Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver execution configuration and output-handling.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Onofrio Febbraro
    • 1
  • Kristian Reale
    • 2
  • Francesco Ricca
    • 2
  1. 1.DLVSystem s.r.l. - P.zza Vermicelli, Polo TecnologicoRendeItaly
  2. 2.Dipartimento di MatematicaUniversità della CalabriaRendeItaly