26、Prolog：逻辑编程的探索与实践

Prolog：逻辑编程的探索与实践

1. Prolog搜索策略与匹配机制

Prolog在选择子句时采用固定顺序，只有当前面的子句都无法得出解决方案时，才会考虑后面的子句。与之相对的广度优先策略则会同时跟踪多个可选解决方案路径，在不同路径间切换，对每个路径进行短时间的探索后再转向其他路径。广度优先策略的优势在于，如果存在解决方案，它一定能找到；而Prolog的深度优先策略可能会陷入“循环”，从而忽略某些可选路径，但它在传统计算机上的实现更为简单，占用空间也更少。

在匹配方面，Prolog的匹配有时与归结中使用的合一有所不同。大多数Prolog系统允许将一个项与它自身未实例化的子项进行匹配，例如：

equal(X, X).
?- equal(foo(Y), Y).

在这个例子中， foo(Y) 会与其中的 Y 进行匹配，最终 Y 会表示为一个无限结构，如 foo(Y) 、 foo(foo(Y)) 等。根据合一的形式定义，这种“无限项”不应存在，因此允许项与自身未实例化子项匹配的Prolog系统在作为归结定理证明器时不能正确工作。为了使其正确工作，需要添加一个检查，即变量不能实例化为包含自身的内容，这种检查称为出现检查。虽然实现出现检查并不复杂，但会显著降低Prolog程序的执行速度，由于它只会影响极少数程序，因此大多数实现者都选择省略这一检查。

2. Prolog与逻辑编程

Prolog基于定理