EZASP -- 促进ASP的使用
EZASP - Facilitating the Usage of ASP
AI总结：
本文提出EZASP，一个Visual Studio Code扩展，支持基于Easy ASP方法的ASP程序开发，提供语法检查、警告和自动排序功能，帮助用户更高效地学习和使用ASP。
摘要：
答案集编程（ASP）是一种声明性编程语言，用于建模和解决复杂的组合优化问题。它已成功应用于许多现实世界的问题。然而，学习其使用可能具有挑战性，因为从概念上讲，声明性语言与命令式编程有显著差异，且程序不需要遵循任何特定的结构，这可能为初学者提供过于自由的选择。最近，一种名为Easy Answer Set Programming（Easy ASP）的新方法被引入，旨在通过专注于ASP语言的片段并为程序引入额外结构来帮助这一学习过程。然而，尽管这种方法确实可以使用，但据我们所知，目前没有工具集成了其功能。在本文中，我们介绍了EZASP，这是一个Visual Studio Code扩展，旨在支持按照Easy ASP方法开发ASP程序。它涵盖了Easy ASP语言片段并扩展了该片段，并为偏离该方法的情况提供警告，以及提供自动重新排序程序的可能性。此外，它还增加了语法错误高亮，包括在编辑时直接检测不安全的变量，并具有可配置性，因为所有功能都可以选择性地禁用。在大学教学背景下的小型用户研究表明，这些功能对新用户和有经验的用户都有益处。
英文摘要：
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 real-world 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
