一种支持逻辑程序AND和OR两种并行性的环境共享方法 |
| |
引用本文: | 孙成政,慈云桂.一种支持逻辑程序AND和OR两种并行性的环境共享方法[J].中国科学A辑,1989,32(4):409-417. |
| |
作者姓名: | 孙成政 慈云桂 |
| |
作者单位: | 长沙工学院计算机系 |
| |
摘 要: | 本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/780上实现。方案的正确性和有效性已通过测试大量典型程序得到证明。
|
关 键 词: | 环境共享 逻辑程序 并行执行 PSOF模型 |
|
| 点击此处可从《中国科学A辑》浏览原始摘要信息 |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 |
|