帕洛 swMATH ID: 23764 软件作者: 基思·克拉克;史蒂夫·格雷戈里 描述: PARLOG:逻辑并行编程。PARLOG是一种逻辑编程语言,几乎每个定义和查询都可以作为谓词逻辑的句子来阅读。它与PROLOG在合并并行评估模式方面有所不同。为了有效实施,它区分和分离了并行和或并行评估。PARLOG关系分为两种类型:单解关系和全解关系。单一解决方案关系调用的连接可以与作为传递部分绑定的通信通道的共享变量并行计算。每个调用只计算一个解决方案,使用提交的选择不确定性。所有解决方案关系调用的连接都是在不进行部分绑定通信的情况下计算的,但所有解决方案都可以通过对不同计算路径的或并行探索找到。集合构造函数提供了单解决方案关系和全解决方案关系之间的主接口。本文是PARLOG的教程介绍。它假设熟悉逻辑编程。 主页: https://dl.acm.org/citation.cfm?doid=5001.5390 关键词: 和平行主义;不确定性;或平行主义;平行;编程;帕洛;逻辑程序设计语言;谓词逻辑;并行评估模式 相关软件: GHC公司;SICStus公司;斯莫德尔斯;B-序言;YAP-序言;CiaoPP公司;Ciao公司;OPTYap公司;SWI-预测;XSB公司;较窄的;普雷格尔;Hadoop公司;阿司匹林;LPaaS公司;四月;Yedalog公司;HaLoop公司;大数据日志;阳光 引用于: 39文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 PARLOG:逻辑并行编程。 Zbl 0592.68016号基思·克拉克;史蒂夫·格雷戈里 1986 全部的 前5名67位作者引用 4 基思·L·克拉克。 4 乔治·列维 3 福斯特,伊恩·T。 3 史蒂夫·格雷戈里 3 卡图西亚帕拉米德斯 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 村上春树,Masaki 2 Kazunori上田 1 哈维·阿布拉姆森 1 萨尔瓦多阿布雷乌 1 艾索、希德奥 1 Makoto Amamiya 1 阿文德·班萨尔 1 马可·贝利亚 1 伊贡博格尔 1 阿拉斯泰尔·伯特。 1 乔瓦尼·西亚托 1 科迪什,迈克尔 1 安德烈亚·科拉迪尼 1 维托尔·桑托斯·科斯塔 1 维罗妮卡·达尔 1 德波尔(Frank S。 1 皮埃尔·德兰萨特 1 丹尼尔·迪亚兹 1 阿戈斯蒂诺·多维尔 1 莫雷诺,法拉斯基 1 方、嘉国 1 保罗·费尤特里尔 1 热拉尔·费朗 1 安德里亚·福米萨诺 1 古河,Kōichi 1 毛里齐奥·加布里埃利 1 埃利奥·乔瓦内蒂 1 戈帕尔·古普塔 1 长谷川龙子 1 莱泽克·霍伦德斯基 1 皮埃尔·朱弗洛特 1 西蒙·卡西夫 1 Joost N.角。 1 菲利普·科纳 1 维平·库马尔 1 安东尼·库萨利克。 1 Michael Leuschel先生 1 李文峰 1 林友健 1 松本裕治 1 科拉多·莫伊索 1 乌戈·蒙塔纳里。 1 何塞·弗朗西斯科·莫拉莱斯 1 小村,亚基拉 1 恩里科·蓬泰利 1 拉胡·拉马克里希南 1 科塔吉里·拉马莫哈纳劳 1 利可宾,埃尔维尼亚 1 格雷姆·林伍德(Graem A.Ringwood)。 1 里卡多·罗查 1 简·J·M·M·鲁顿。 1 Vijay A.萨拉斯瓦特。 1 伯恩德·施恩 1 埃胡德·夏皮罗。 1 佐尔坦·索莫吉 1 莱昂·斯特林。 1 Jayen,Vaghani 1 Wen,Dongchan先生 1 Wielemaker,简 1 杨蓉 1 高石横森 全部的 前5名14篇连载文章中引用 11 新一代计算 6 理论计算机科学 4 国际并行程序设计杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 逻辑程序设计理论与实践 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 程序设计语言与系统学报 1 逻辑程序设计杂志 1 符号计算杂志 1 清华大学学报。科学与技术 1 IEEE软件工程汇刊 1 数学与人工智能年鉴 在3个字段中引用 39 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文