OnlineSPARC: A programming environment for answer set programming

Elias Marcopoulos, Yuanlin Zhang

Research output: Contribution to journalArticle

1 Scopus citations

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.

Original languageEnglish
Pages (from-to)262-289
Number of pages28
JournalTheory and Practice of Logic Programming
Volume19
Issue number2
DOIs
StatePublished - Mar 1 2019

Keywords

  • CS education
  • answer set programming
  • integrated development environment
  • logic programming
  • visualization

Fingerprint Dive into the research topics of 'OnlineSPARC: A programming environment for answer set programming'. Together they form a unique fingerprint.

  • Cite this