ASPIDE: Integrated development environment for answer set programming 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.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Schulz, Claudia; Toni, Francesca: Justifying answer sets using argumentation (2016)
- Confalonieri, Roberto; Prade, Henri: Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (2014)
- Febbraro, Onofrio; Leone, Nicola; Reale, Kristian; Ricca, Francesco: Unit testing in \itASPIDE (2013) ioport
- Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco: ASPIDE: integrated development environment for answer set programming (2011) ioport