GHC公司 swMATH ID: 23765 软件作者： Kazunori上田 描述： GHC：保护喇叭条款。本文介绍了程序设计语言Guarded Horn子句，简称GHC。Guarded Horn子句诞生于对现有逻辑编程语言和一般逻辑编程的研究，特别关注并行性。与其他并行编程语言相比，GHC的主要特点是它极其简单。GHC是对Horn-clause语句基于解析的定理证明器的一种限制。这种限制有两个方面：一是统一对数据流的限制，二是选择不确定性的引入。前者对于通用语言来说是必不可少的，它还为GHC提供了一个同步原语。后者是预期应用程序所必需的，其中包括与外部世界交互的系统。GHC的特点是，所有的限制都是作为赋予唯一附加句法结构guard的语义而施加的。尽管Guarded Horn子句可以划分为逻辑编程语言家族，但它与其他形式主义有着密切的关系，包括数据流语言、通信顺序过程和用于多处理的函数语言。除了缺少高阶设施外，GHC可以被视为这些框架的概括。GHC的简单性和通用性将使它不仅适用于并行逻辑编程语言的标准，而且也适用于并行编程语言。此外，它非常简单，可以被视为一种计算模型和编程语言。在GHC的设计阶段，始终关注有效实施的可能性。我们表明，预计将大量使用的流合并和分发可以以与过程语言中多对一通信的时间复杂性相同的时间复杂性来实现。此外，我们在Prolog之上提供了一个高效的基于编译器的GHC子集实现。GHC故意失去了作为定理证明者的完整性，而不是妥协的结果。然而，它可以用于高效地实现Horn子句程序的穷举解决方案搜索。我们展示了如何自动编译Horn-clause程序，以便在GHC程序中进行彻底搜索。 主页： https://link.springer.com/chapter/10.1007%2F3-540-16479-0_17 关键词： 保护喇叭条款;并行逻辑程序设计语言;并行算法;程序转换;GHC计划 相关软件： 帕洛;SICStus公司;基玛;哈斯克尔;斯莫德尔斯;Multilisp公司;B-序言;YAP-序言;CiaoPP公司;Ciao公司;OPTYap公司;SWI-预测;XSB公司;Prolog公司;咖喱;LMN总计;酯类;贾纳斯;欧兹;收入 引用于： 39文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 保护喇叭条款。 Zbl 0771.68037号Kazunori上田 1988 全部的 前5名72位作者引用 9 Kazunori上田 三 Joost N.角。 三 李维，乔治 2 莫雷诺，法拉斯基 2 福斯特，伊恩·T。 2 古川县 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 村上春树，Masaki 2 卡图西亚帕拉米德斯 1 萨尔瓦多阿布雷乌 1 艾索、希德奥 1 亚次郎、靖国 1 玛丽亚·阿尔普特 1 巴利斯，德米斯 1 阿文德·班萨尔 1 马内尔·巴卡拉 1 乔纳斯·巴克隆德 1 安东尼奥·布罗吉 1 阿拉斯泰尔·伯特。 1 安娜·齐安波里尼 1 乔瓦尼·西亚托 1 迈克尔·科迪什 1 安德烈亚·科拉迪尼 1 科雷亚，弗朗西斯科·何塞 1 桑托斯·科斯塔，Vítor 1 维罗妮卡·达尔 1 雅各布斯·W·德·巴克尔。 1 德波尔（Frank S。 1 丹尼尔·迪亚兹 1 阿戈斯蒂诺·多维尔 1 安德烈亚·福米萨诺 1 毛里齐奥·加布里埃利 1 Atsuhiro Goto先生 1 史蒂夫·格雷戈里 1 戈帕尔·古普塔 1 葡萄藤古普塔 1 Jean-Marie雅克 1 拉德哈·贾加迪桑 1 西蒙·卡西夫 1 木村，Yasunori 1 Peter M.W.Knijnenburg。 1 菲利普·科纳 1 维平·库马尔 1 安东尼·库萨利克。 1 伊芙琳娜·拉姆 1 Jean-Louis拉塞兹 1 Michael Leuschel先生 1 林友健 1 Akira松本 1 松本裕治 1 肯尼思·麦卡龙 1 保罗·梅洛 1 乌戈·蒙塔纳里。 1 何塞·弗朗西斯科·莫拉莱斯 1 中川、高崎 1 西田贤治 1 小村，亚基拉 1 卡洛斯·奥拉特 1 文森特·波里兹 1 恩里科·蓬泰利 1 格雷姆·林伍德（Graem A.Ringwood）。 1 里卡多·罗查 1 卡米洛·鲁埃达 1 简·J·M·M·鲁顿。 1 Vijay A.萨拉斯瓦特。 1 佐藤，Masatoshi 1 埃胡德·夏皮罗。 1 Leon S.斯特林。 1 Hideki Tsuiki 1 巴伦西亚，弗兰克·D。 1 Wielemaker，简 1 杨蓉 全部的 前5名10连载 10 新一代计算 8 理论计算机科学 三 国际并行程序设计杂志 2 逻辑程序设计理论与实践 1 信息学报 1 信息处理信件 1 符号计算杂志 1 计算的形式方面 1 约束条件 1 逻辑与代数程序设计杂志 在4个字段中引用 38 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文