ASPIDE is a Integrated Development Environment for Answer Set Programming supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. ASPIDE is an IDE designed to maximize ASP programmer productivity providing a wide set of features that help the management, the writing, the correction and the execution of the created projects.

For further information please visit ASPIDE site: https://www.mat.unical.it/ricca/aspide

The main functionalities provided graphically by ASPIDE are:

  • Workspace organization – ASPIDE stores in a directory (called workspace) the projects. The system allows to manage multiple projects with multiple files.
  • Advanced text editor – The editing of ASP files is semplified by an advanced text editor which provides text highlighting, auto completion, refactoring, token pair highlighter and others advanced functionalities below described.
  • Dynamic syntactic and semantic checking – This functionality checks the program syntactical and semantical correctness during its developement, highlighting the code that contains errors or warnings.
  • Quick fix – When the system reports an error or a warning provides a quick fix solution that automatically changes the affected part of code.
  • Dynamic code template – Further support about writing code is provided by the code template that users can customize.
  • Outline navigation – ASPIDE creates an outline view which represents a program code overview. Each item in the outline view can be used to quickly access the respective lines of the code.
  • Dependency graph – Another tool to navigate the code is the dependency graph. ASPIDE offers a graphical view of the dependency graph (positive or complete) showing the dependencies between atoms (or between strongly connected components) of the programs stored in some project.
  • Debugger and Profiler – This functionalities allow the user to interact with ASP solver in order to understand the reason why a program does not produce the expected output.
  • Test suite – This feature allows the user to test the ASP programs defining a series of tests on the generated output.
  • Configuration of the execution – This feature allows to select the solver executable and the options for the program execution.
  • Presentation of results – The output of the program (either its answer sets, or the database table contents) can be visualized within the same environment in textual mode or using a table view of models.
  • Visual Editor – Using the Visual Editor, the users can draw logic programs by exploiting a full graphical environment that offers a QBE-like style for building the logic rules.
  • Reverse engineering – The user can switch, every time he needs, from the Text Editor to the Visual Editor (and vice-versa) allowing textual (visual) refreshing during the switching phase.

Publications

Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated Development Environment for Answer Set Programming. In: Delgrande, J., Faber, W. (eds.) LPNMR 2011, LNAI 6645, pp. 317-330, 2011

Febbraro, O., Reale, K., Ricca, F.: A Visual Interface for Drawing ASP Programs. In: Proc. of CILC 2010, Rende, CS, Italy (2010)

Download

To download please visit ASPIDE site: https://www.mat.unical.it/ricca/aspide/download