OnlineSPARC: A Programming Environment for Answer Set Programming. Issue 2 (14th November 2018)

• Record Type: Journal Article
• Authors: MARCOPOULOS, ELIAS; ZHANG, YUANLIN
• Editors: Schulz, Claudia; Ellmauthaler, Stefan
• Is Part Of: Theory and practice of logic programming. Volume 19:Issue 2(2019)
• Page Start: 262
• Page End: 289
• Publication Date: 2018-11-14
• Subjects: CS education, -- logic programming, -- answer set programming, -- integrated development environment, -- visualization; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068418000509
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: Recent progress in logic programming (e.g. the development of the answer set programming (ASP) paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing, and using tools for writing logic programs could be a major barrier for logic programming to reach a much wider audience. We developed onlineSPARC, an online ASP environment with a self-contained file system and a simple interface. It allows users to type/edit logic programs and perform several tasks over programs, including asking a query to a program, getting the answer sets of a program, and producing a drawing/animation based on the answer sets of a program.