共享变量的识别与智能回溯算法  

ALGORITHMS FOR RECOGNITION OF SHARED VARIABLES AND INTELLIGENT BACKTRACKING OF PROLOG

作　　者：沈一栋[1] 程代杰[1] 童頫[1] 

机构地区：[1]重庆大学

出　　处：《计算机工程》1989年第4期14-19,72,共7页Computer Engineering

摘　　要：本文分析讨论了PROLOG程序中的变量共享及其在流并行处理和智能回溯中的重要作用,提出了识别共享变量的静、动态结合算法以及在此基础上的流并行子目标的识别算法和智能回溯算法。Shared variables in a PROLOG program play an important role in the streamed parallel processing and intelligent backtracking. The paper proposes a static-dynamic algorithm for identifying the subgoals with shared variables, and then, based on this algorithm, gives algorithms for finding the, streamed parallel; components and the intelligent backtracking points.

关 键 词：共享变量 智能回朔 PROLOG 算法 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]