prolog - 如何在 SWI-Prolog 的所有统一中启用发生检查？

Question

根据 Wikipedia :

Implementations offering sound unification for all unifications are Qu-Prolog and Strawberry Prolog and (optionally, via a runtime flag): XSB, SWI-Prolog and Tau Prolog.

但是，当我这样做时 apropos(occur)它只找到 unify_with_occurs_check/2 .手册页也没有提到“发生”。如何为 SWI-Prolog 中的所有统一启用发生检查？

Answer 1

在 Environment Control 部分，它列出了系统的标志。 occurs_check标志是控制发生统一检查的标志。
您可以使用以下方法设置标志:

:- set_prolog_flag(occurs_check, true).

例如:

?- X = f(X).
X = f(X).

?- set_prolog_flag(occurs_check, true).
true.

?- X = f(X).
false.

所以首先它统一 X与 f(X) .如果我们稍后设置 occurs_check至 true ，那么如果我们尝试统一 X再次与 f(X) ， 它失败。