onlineSPARC: a programming environment for answer set programming

DOI10.1017/S1471068418000509MaRDI QIDQ5197754zbMATH OpenOpenAlexWikidataFDO

Authors Elias Marcopoulos, Yuanlin Zhang

Publication date 19 September 2019

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.08304

zbMATH Keywords

visualizationanswer set programminglogic programmingintegrated development environmentcomputer science education

Mathematics Subject Classification ID

Logic programming (68N17) Programming techniques (educational aspects) (97P50)

Abstract: 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.

Recommendations

• Answer Set Programming: A Primer
• Answer set programming
• Methods and methodologies for developing answer-set programs -- project description
• Debugging non-ground ASP programs: technique and graphical tools
• Interactive debugging of non-ground ASP programs

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 7015120 (Why is no real title available?)
• Interactive debugging of non-ground ASP programs
• Programming in logic without logic programming
• Towards answer set programming with sorts
• Types and programing languages

Cited in

(1)

• onlineSPARC

Describes a project that uses

Uses Software

• GitHub
• APE
• SeaLion
• Kara
• iGROM
• LoIDE
• ASPVIZ
• Potassco
• ASPIDE

This page was built for publication: onlineSPARC: a programming environment for answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197754)