This paper presents the backtracking technique based on the unification environment in PROLOG system and related algorithms, and the method of intelligence backtracking under unification environment.

本文介绍了PROLOG系统中一种基于一致化环境的回溯技术和有关的算法，并给出了在这种一致化环境下智能回潮的方法。

youdao

Then Backjumping method, an improved Backtracking is produced.

在回溯法的基础上提出了改进算法回跳法；

youdao

This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.

本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。

youdao

This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.

本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。

youdao