| 摘要: |
| PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论PARLOG单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。 |
| 关键词: |
| DOI: |
| 分类号: |
| 基金项目: |
|
| A SEQUENTIAL COMPILING TECHNIQUE FOR PARLOG |
|
Zheng Weimin,Yang Heping
|
| Abstract: |
| PARLOG relations are divided into two types: single-solution relations and all-solution relations. A sequential compiling technique for PARLOG single-solution relations, which based on and/or tree model and process-scheduling strategy, is introduced in this paper. |
| Key words: |