超前检查和选择回溯策略

FORWARD TESTING AND SELECTED BACKTRACKING

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

This paper presents a new reasoning strategy,Forward Testing and Selected Backtracking(FTSB).FTSB's reasoning is executed at all variable generators,instead of all goals in a clause.At each generator,a forward testing is applied during unification to throw away such bindings that certainly can not appear in any solution as early as possible.It can decrease Backtracking occurrence,select Backtracking point accurately and get multiple solutions intelligently.