摘要
本文提出了一个逻辑程序与并行智能回溯模型——变量驱动的智能回溯.文字求解失败时,分析其中参数的失败类型,生成回溯文字集。以变量驱动图为基础,回溯仅在回溯文字集中进行.
Variable-driven intelligent backtracking, a molel of intelligent backtracking for AND-parallelism of logic programs, is presented. When the execution of a literal fails, the failure types of arguments in it are analysed and a backtrack literal set is generated. According to variable-driving graph, backtracking is carried out only on literals in the set.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第12期938-943,共6页
Chinese Journal of Computers
