引用本文: | 孙成政,慈云桂.逻辑程序并行执行模型及其体系结构的研究[J].国防科技大学学报,1987,(2):14-32.[点击复制] |
Sun Chengzheng,Ci Yungui.Study of Computation Model and Computer Architecture for Parallel Execution of Logic Programs[J].Journal of National University of Defense Technology,1987,(2):14-32[点击复制] |
|
|
|
本文已被:浏览 5032次 下载 4846次 |
逻辑程序并行执行模型及其体系结构的研究 |
孙成政, 慈云桂 |
(计算机系)
|
摘要: |
|
关键词: |
DOI: |
投稿日期:1987-03-02 |
基金项目: |
|
Study of Computation Model and Computer Architecture for Parallel Execution of Logic Programs |
Sun Chengzheng, Ci Yungui |
(Department of Computer science)
|
Abstract: |
The goal of our research is to design a computer architecture for AND-OR-parallel execution of logic programs based on the Horn clause subset of the predicate logic. We start from abstract level and move step by step towards concrete implementation details.
The major contributions made in this thesis are:
1. OR-forest-a new method for describing the execution of logic programs.
2. PSOF-a process model based on parallel search of OR-forest.
3. PIM-PSOF-an abstract parallel inference machine based on PSOF model.
4. SES-PIM-a simulation and experiment system for parallel inference machine. |
Keywords: |
|
|