在线SPARC swMATH ID: 30283 软件作者: Elias Marcopoulos;张元林 描述: onlineSPARC:用于答案集编程的编程环境。逻辑编程的最新进展(例如,答案集编程(ASP)范式的开发)使得普通本科生甚至中学生都可以学习它。鉴于这些学生接触计算机科学的机会有限,下载、安装和使用编写逻辑程序的工具的复杂性可能是逻辑编程接触更多受众的主要障碍。我们开发了onlineSPARC,这是一个带有独立文件系统和简单界面的在线ASP环境。它允许用户键入/编辑逻辑程序,并在程序上执行多个任务,包括查询程序、获取程序的答案集,以及根据程序的答案集合生成绘图/动画。 主页: https://arxiv.org/abs/1809.08304 关键词: CS教育;逻辑程序设计;答案集编程;综合开发环境;可视化 相关软件: 海狮;卡拉;天基信息平台;APE公司;github;iGROM公司;LoIDE公司;ASPVIZ公司;Potassco公司;SWISH数据实验室;Web-STAR网站;克林戈;WASP公司 引用于: 2文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 onlineSPARC:用于答案集编程的编程环境。 Zbl 1486.68028号埃利亚斯·马可普洛斯;张元林 2019 4位作者引用 1 斯特凡·埃尔马瑟勒 1 埃利亚斯·马可普洛斯 1 克劳迪娅·舒尔茨 1 张元林 连载1篇 2 逻辑程序设计理论与实践 在3个字段中引用 2 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 数学教育(97-XX) 按年份列出的引文