Visual ASP


A Visual Tool  for drawing ASP Programs
The Visual ASP Team

Kristian Reale and
Francesco Ricca
University of Calabria
Department of Mathematics

Answer Set Programming (ASP)                Visual ASP                Download

Answer Set Programming (ASP)

Answer Set Programming (ASP) is a declarative programming paradigm which has been proposed in the area of non-monotonic reasoning and logic programming. The idea of ASP is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use a solver to find such a solution.
The language of ASP is expressive (it is able to express all problems belonging to the complexity classes Sigma2Pand P2P  , under brave and cautious reasoning,
respectively.

Visual ASP 

Visual ASP is a system that allows for drawing an ASP-program on the screen. The user does not have to edit text files, or know the details of a specific ASP dialect, but he can exploit a fully graphic environment, inspired by QBE (Query By Example) editors, for designing ASP programs.
Currently, the system is able to load and store ASP programs in DLV syntax, and supports all the main language extensions (i.e. disjunction, aggregates and constraints).

Download

Visual ASP is free for academic and non-commerical educational use, as well as for use by non-profit organisations. 
Note that current release is a Beta version:
the system was tested o Windows 95/98/NT/2000/XP/Vista and requires Java 6. It currently supports only the DLV system .
To send us feedback please send an e-mail to .

Before Download please read the following licence.

Copyright 2010 Kristian Reale and Francesco Ricca
This software is free for academic and educational use, as well as for use by non-profit organisations.
For further information (such as information on commercial use) please contact

This Software is provided "as is" and any express or implied warranties, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpos are disclaimed. In no event shall the copyright holders or contributors be liable for any direct, indirect incidental, special, exemplary, or consequential damages (including,  but not limited to, procurement of substitute goods of services; loss of use, data, or profits; or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence of otherwise) arising in any way out of the use of this software, even if advised of the possibility of such damage.

Accept this licence and start download