摘要
回溯作为计算机科学中的一种基本的控制结构,在人工智能中有广泛的应用。本文介绍了PROLOG系统中一种基于一致化环境的回溯技术和有关的算法,并给出了在这种一致化环境下智能回潮的方法。
As a basic control structure in computer science, backtracking has been widely used in artificial intelligence. 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.
出处
《计算机工程》
CAS
CSCD
北大核心
1991年第3期1-5,共5页
Computer Engineering
