onlineSPARC: a Programming Environment for Answer Set Programming

09/21/2018
by   Elias Marcopoulos, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/20/2017

An Online Development Environment for Answer Set Programming

Recent progress in logic programming (e.g., the development of the Answe...
research
03/29/2023

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics

Answer set programming is a declarative logic programming paradigm geare...
research
01/28/2021

Eye: Program Visualizer for CS2

In recent years, programming has witnessed a shift towards using standar...
research
01/26/2019

Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs

Answer set programming is a prominent declarative programming paradigm u...
research
06/05/2022

Geometric Theory for Program Testing

Formal methods for verification of programs are extended to testing of p...
research
06/27/2019

Stepping OCaml

Steppers, which display all the reduction steps of a given program, are ...
research
09/22/2020

Automated Aggregator – Rewriting with the Counting Aggregate

Answer set programming is a leading declarative constraint programming p...

Please sign up or login with your details

Forgot password? Click here to reset