| 支持逻辑程序并行执行的智能回溯机制 |
| |
| 引用本文： | 刘志宏 孙文兵. 支持逻辑程序并行执行的智能回溯机制[J]. 计算机学报, 1995, 18(4): 304-308 |
| |
| 作者姓名： | 刘志宏 孙文兵 |
| |
| 作者单位： | 国防科学技术大学计算机科学系 |
| |
| 摘 要： | 本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制,它是基于数据相关性分析的动静结合的智能回溯策略,在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合,动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点。
|
| 关 键 词： | 逻辑程序 并行执行 智能回溯 |
THE INTELLIGENT BACKTRACKING SCHEME IN PARALLEL EXECUTION OF LOGIC PROGRAMS |
| |
| Liu Zhihong, Sun Wenbing, Hu Shouren and Liu Fengqi. THE INTELLIGENT BACKTRACKING SCHEME IN PARALLEL EXECUTION OF LOGIC PROGRAMS[J]. Chinese Journal of Computers, 1995, 18(4): 304-308 |
| |
| Authors: | Liu Zhihong Sun Wenbing Hu Shouren Liu Fengqi |
| |
| Abstract: | In sequential execution of logic programs, the "normal backtracking scheme" was originally used. This article introduces an intelligent backtracking scheme supporting the parallel execution of Prolog programs. It is a static and dynamic intelligent backtracking scheme based on data dependency analysis. |
| |
| Keywords: | Logic programming parallel execution intelligent backtracking |
| 本文献已被 CNKI 维普 等数据库收录！ |
