Here we describe a query-answering system implementing STUDENT. The system is incorporated into an integrated development environment for ASP called ASPIDE (Febbraro, Reale, and Ricca, 2011), which is designed for program development, computing answer sets, and running queries.
ASPIDE is not a solver in itself, but an interface. At the time of this writing, the query interface of ASPIDE could only be used with DLV (see Appendix A). However, ASPIDE is being actively developed and is designed to be extendable for use with other solvers. As usual, please see the documentation for updates.
To begin, download DLV from http://www.dlvsystem.com. ASPIDE can be found at https://www.mat.unical.it/ricca/aspide/index.html under the Download tab. Installation instructions are under the Documentation tab. Note that, when the ASPIDE Settings box shows up during the installation process, it should be sufficient to just set the DLV path and ignore the other settings, unless, of course, you want to use extensions of DLV such as DLVDB, DLT or a profiler. All paths can also be set later by choosing Preferences from the File menu.
The next window to pop up asks you to select a workspace in which ASPIDE will store your projects. Specify a path for the new directory or use the default. (ASPIDE will expect you to work with the files through its interface, so it is best, at least for now, not to modify the contents of this directory directly.)