XcelLog公司 swMATH ID: 13878 软件作者： 罗马克里希南，C.R。；拉马克里希南，I.V。；大卫·沃伦。 描述： XcelLog：演绎电子表格系统。基于规则的计算的承诺是允许最终用户创建、修改和维护应用程序，而无需与程序员合作。但经验表明，规则集往往以微妙的方式相互作用，使它们难以理解和推理。这阻碍了基于规则的计算的广泛采用。本文描述了以用户为中心的演绎电子表格系统XcelLog的设计和实现，以使非程序员能够指定和操作基于规则的系统。该系统的驱动思想是将集合视为基本数据类型，将规则视为指定集合之间的关系，并使用电子表格隐喻来创建和查看物化的集合。XcelLog适合非程序员的基本特性是，用户主要看到规则的效果；当规则或基本事实发生变化时，用户会立即看到变化的影响。这使用户能够对规则及其修改获得信心，并在没有任何编程的情况下尝试假设场景。使用XcelLog的初步经验表明，将基于规则的计算的演绎电子表格的功能交给最终用户，并且不需要编程或屏蔽应用程序包的约束，这确实是可行的。 主页： http://www3.cs.stonybrook.edu/~cram/论文/RRW_KER07/ 依赖项： 擅长 相关软件： XSB公司;YAP-序言;OPTYap公司;打开规则基准;擅长 引用于： 3文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用表格逻辑编程的演绎电子表格。 Zbl 1131.68395号罗马克里希南，C.R。;罗马克里希南，I.V。;大卫·沃伦。 2006 4位作者引用 2 Swift，Terrance公司 2 沃伦、大卫·斯科特 1 罗马克里希南，C.R。 1 罗马克里希南，I.V。 连载1篇 2 逻辑程序设计理论与实践 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文