首页> 外文期刊>Theory and Practice of Logic Programming >onlineSPARC: A Programming Environment for Answer Set Programming
【24h】

onlineSPARC: A Programming Environment for Answer Set Programming

机译:onlineSPARC:答案集编程的编程环境

获取原文
获取原文并翻译 | 示例

摘要

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.
机译:逻辑编程的最新进展(例如答案集编程(ASP)范式的发展)使得将其教给普通本科生甚至中高中生成为可能。鉴于这些学生对计算机科学的了解有限,因此下载,安装和使用编写逻辑程序的工具的复杂性可能成为使逻辑程序获得更广泛受众的主要障碍。我们开发了onlineSPARC,这是一个具有独立文件系统和简单界面的在线ASP环境。它允许用户键入/编辑逻辑程序并在程序上执行多个任务,包括向程序查询,获取程序的答案集以及基于程序的答案集绘制/动画。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号