TY - JOUR
T1 - OnlineSPARC
T2 - A programming environment for answer set programming
AU - Marcopoulos, Elias
AU - Zhang, Yuanlin
N1 - Funding Information:
The authors were partially supported by the National Science Foundation (Grant No. CNS-1359359). We thank Christian Reotutar, Evgenii Balai, Mbathio Diagne, Peter Lee, Maede Rayatidamavandi, Crisel Suarez, Edward Wertz, and Shao-Lon Yeh for their contribution to the implementation of the environment. Christian Reotutar also contributed to the early preparation of this paper. We thank Michael Gelfond and Yinan Zhang for their input and help. We thank the anonymous reviewers whose feedback helps to improve the quality of this paper as well as that of onlineSPARC.
Publisher Copyright:
Copyright © Cambridge University Press 2018.
PY - 2019/3/1
Y1 - 2019/3/1
N2 - 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.
AB - 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.
KW - CS education
KW - answer set programming
KW - integrated development environment
KW - logic programming
KW - visualization
UR - http://www.scopus.com/inward/record.url?scp=85056604338&partnerID=8YFLogxK
U2 - 10.1017/S1471068418000509
DO - 10.1017/S1471068418000509
M3 - Article
AN - SCOPUS:85056604338
SN - 1471-0684
VL - 19
SP - 262
EP - 289
JO - Theory and Practice of Logic Programming
JF - Theory and Practice of Logic Programming
IS - 2
ER -