论文部分内容阅读
本文提出了PROLOG语言的一种新的推理策略:超前检查和选择回溯算法-FTSB(Forword Testing and Selected Backtracking),FTSB的推理过程全部在产生变量约束的目标上进行,而不是在每个目标上进行,它采用超前检查的方法尽早放弃不可能成为解的约束,使回溯发生率下降,并用智能的方法选择回溯点和获得多重解。