ASP∀

An Open Educational Resource for Answer Set Programming

Abstract

Answer Set Programming (ASP) languages represent an important advancement in declarative (logic) programming. First proposed in the late 90s, the paradigm is based on the stable model semantics of formal logic. Related tools and languages are designed for handling real-world instances of computationally difficult (NP-Complete and NP-Hard) problems. Despite the capabilities of these systems, adoption rates remain rather low. E.g., Similar dialects are unlikely to be indexed on language popularity lists, such as the TIOBE. A major hurdle to broader adoption of these technologies is the need for varied and accessible educational materials. In this paper we discuss ASP∀, an online Open Educational Resource (OER) for Answer Set Programming. We hope that this repository serves as a resource for those who seek a deeper understanding of modern logic programming.