ASPIDE: Integrated Development Environment for Answer Set Programming

  • Onofrio Febbraro
  • Kristian Reale
  • Francesco Ricca
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6645)

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

Personalised recommendations