基于一致化环境的回溯技术

摘要

cqvip:回溯作为计算机科学中的一种基本的控制结构,在人工智能中有广泛的应用。本文介绍了PROLOG系统中一种基于一致化环境的回溯技术和有关的算法,并给出了在这种一致化环境下智能回潮的方法。