×

帕洛

swMATH ID: 23764
软件作者： 基思·克拉克；史蒂夫·格雷戈里
描述： PARLOG：逻辑并行编程。PARLOG是一种逻辑编程语言，几乎每个定义和查询都可以作为谓词逻辑的句子来阅读。它与PROLOG的不同之处在于合并了并行的评估模式。为了有效实施，它区分和分离了并行和或并行评估。PARLOG关系分为两种类型：单解关系和全解关系。单一解决方案关系调用的连接可以与作为传递部分绑定的通信通道的共享变量并行计算。每个调用只计算一个解决方案，使用提交的选择不确定性。所有解决方案关系调用的连接都是在不进行部分绑定通信的情况下计算的，但所有解决方案都可以通过对不同计算路径的或并行探索找到。集合构造函数提供了单解决方案关系和全解决方案关系之间的主接口。本文是PARLOG的教程介绍。它假设熟悉逻辑编程。
主页： https://dl.acm.org/citation.cfm？doid=5001.5390
关键词： 和平行主义;不确定性;或平行度;平行;编程;帕洛;逻辑程序设计语言;谓词逻辑;并行评估模式
相关软件： GHC公司;更窄的;哈斯克尔;SICStus公司;贾纳斯;PVM公司;KLIC公司;内核-叶;扬子乙酰氯;SYGRAF公司
引用于： 37文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
PARLOG：逻辑并行编程。 Zbl 0592.68016号
基思·克拉克;史蒂夫·格雷戈里
1986
全部的 前5名

52位作者引用

4 基思·L·克拉克。
4 李维，乔治
三 福斯特，伊恩·T。
三 史蒂夫·格雷戈里
三 卡图西亚帕拉米德斯
2 村上春树，Masaki
2 Kazunori上田
1 哈维·阿布拉姆森
1 艾索、希德奥
1 Makoto Amamiya
1 阿文德·班萨尔
1 马可·贝利亚
1 伊贡博格尔
1 阿拉斯泰尔·伯特。
1 科迪什，迈克尔
1 安德烈亚·科拉迪尼
1 德波尔（Frank S。
1 皮埃尔·德兰萨特
1 莫雷诺，法拉斯基
1 方、嘉国
1 Paul Feautrier，保罗
1 杰拉德·费兰德
1 古川县
1 毛里齐奥·加布里埃利
1 埃利奥·乔瓦内蒂
1 长谷川龙子
1 莱泽克·霍伦德斯基
1 皮埃尔·朱弗洛特
1 西蒙·卡西夫
1 乔斯特·科克。
1 维平·库马尔
1 安东尼·库萨利克。
1 李文峰
1 林友健
1 松本裕二
1 科拉多·莫伊索
1 乌戈·蒙塔纳里。
1 小村，亚基拉
1 拉胡·拉马克里希南
1 科塔吉里·拉马莫哈纳劳
1 利可宾，埃尔维尼亚
1 格雷姆·林伍德（Graem A.Ringwood）。
1 简·J·M·M·鲁顿。
1 Vijay A.萨拉斯瓦特。
1 伯恩德·施恩
1 埃胡德·夏皮罗。
1 佐尔坦·索莫吉
1 Leon S.斯特林。
1 贾恩，瓦格哈尼
1 Wen，Dongchan先生
1 杨蓉
1 高石横森
全部的 前5名

13篇连载文章中引用

11 新一代计算
6 理论计算机科学
4 国际并行程序设计杂志
2 RAIRO公司。Informatique Théorique et Applications公司
1 信息学报
1 信息处理信件
1 计算机与系统科学杂志
1 程序设计语言与系统学报
1 逻辑编程杂志
1 符号计算杂志
1 清华大学学报。科学与技术
1 IEEE软件工程汇刊
1 数学与人工智能年鉴

在3个字段中引用

37 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 范畴理论；同调代数（18-XX）

按年份列出的引文