支持逻辑程序并行执行的智能回溯机制  

THE INTELLIGENT BACKTRACKING SCHEME IN PARALLEL EXECUTION OF LOGIC PROGRAMS

作　　者：刘志宏[1] 孙文兵[1] 胡守仁[1] 刘凤岐[1] 

机构地区：[1]国防科学技术大学计算机科学系

出　　处：《计算机学报》1995年第4期304-308,共5页Chinese Journal of Computers

摘　　要：本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制．它是基于数据相关性分析的动静结合的智能回溯策略．在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合，动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点．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.

关 键 词：逻辑程序 并行执行 智能回溯 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]