onlineSPARC: A Programming Environment for Answer Set Programming
onlineSPARC: A Programming Environment for Answer Set Programming
复制标题
onlineSPARC：答案集编程的编程环境
DOI：
--
复制
发表时间：
2018
影响因子：
1.4
通讯作者：
Yuanlin Zhang
中科院分区：
文献类型：
--
作者：
Elias Marcopoulos;Yuanlin Zhang
摘要逻辑程序设计的最新进展（例如，答案集编程（ASP）范式的发展）使它有可能教一般本科生，甚至初中/高中学生。考虑到这些学生接触计算机科学的机会有限，下载、安装和使用编写逻辑程序的工具的复杂性可能是逻辑编程接触更广泛受众的主要障碍。我们开发了onlineclass，一个在线的ASP环境，一个自包含的文件系统和一个简单的界面。它允许用户键入/编辑逻辑程序并在程序上执行多项任务，包括对程序进行查询，获取程序的答案集，以及基于程序的答案集生成绘图/动画。
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.