Prolog语言-搜索策略的归结反演推理机

Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。