EZASP -- Facilitating the usage of ASP

2026-03-27

AI Summary

This work addresses the challenges novice learners face when acquiring Answer Set Programming (ASP), which stem from the language’s high level of abstraction and excessive structural freedom. To lower the entry barrier, we present EZASP—the first Visual Studio Code extension integrating the Easy ASP methodology. EZASP guides users toward writing well-structured and safe ASP programs through structured code snippets, automatic program reordering, and a configurable real-time feedback mechanism. The system implements core features including syntax error highlighting, unsafe variable detection, and structural validation. Empirical user studies demonstrate that EZASP significantly reduces the learning curve for beginners and enhances both programming efficiency and code correctness for both novice and experienced users.

Abstract

Answer Set Programming (ASP) is a declarative programming language used for modeling and solving complex combinatorial problems. It has been successfully applied to a number of different realworld problems. However, learning its usage can prove challenging as the declarative language, from a conceptual perspective, differs substantially from imperative programming, and programs are not required to adhere to any particular structure, offering arguably almost too much freedom for a beginner. Recently, a new methodology called Easy Answer Set Programming (Easy ASP) has been introduced that aims to aid in this learning process by focussing on a well-defined fragment of the ASP language and introducing additional structure to the programs. However, while this methodology can indeed be employed, to the best of our knowledge, no tool integrates its features currently. In this paper, we present EZASP, a Visual Studio Code extension designed to support the development of ASP programs following the Easy ASP methodology. It covers and extends the language fragment of Easy ASP and provides the user with warnings in the case of deviations from the methodology as well as the possibility to automatically reorder the program. Complementarily, it also adds syntax error highlighting, including detection of non-safe variables directly while editing, and configurability, as all features can be optionally disabled. A small user study in the context of university teaching suggests that these features are benefitial for both new and experienced users.

Problem

• Answer Set Programming
• Easy ASP
• declarative programming
• programming methodology
• development tool

Innovation

• Answer Set Programming
• Easy ASP
• IDE extension
• program structuring
• syntax error highlighting