# onlineSPARC: a Programming Environment for Answer Set Programming

arXiv: https://arxiv.org/abs/1809.08304 · HTML: https://mlsanity.com/paper/1809.08304/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 21 Sep 2018.

## Built on by (most cited first, 1 of 1)

- [ValAsp: a tool for data validation in Answer Set Programming](https://mlsanity.com/paper/2202.09626/) (2022)

## Abstract (arXiv)

Recent progress in logic programming (e.g., the development of the Answer Set Programming 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 answer set programming 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.