摘要
In this paper, a new parallel logic programming language-HPARLOG developed by us is described, and a new scheme for the AND-parallelism implementation in logic programming language is proposed. This scheme not only resolves the instantiation conflict on sharing-variables, thoroughly explores the parallelism of the programs with incrementally constructed data structure, but also decreases the dynamic complexity of the programs. In addition, a pseudo-copy based memory management scheme to enhance the locality of goal processes and lower the overhead of program execution is proposed.
| 源语言 | 英语 |
|---|---|
| 页（从-至） | 27-38 |
| 页数 | 12 |
| 期刊 | Journal of Computer Science and Technology |
| 卷 | 1 |
| 期 | 4 |
| DOI | |
| 出版状态 | 已出版 - 12月 1986 |
| 已对外发布 | 是 |