首页
标签
occurs-check
为什么 `f(a)=a` 失败但 `f(X)=X` 在 prolog 中成功？
SWI Prolog 使用的是什么检查优化？
现代 Prolog 编译器是否会在安全时自动优化发生检查？
Prolog 如何得出诸如 3 < 2 之类的无意义结果？
当全局启用发生检查时，Prolog 是否需要 GC？
如何在 SWI-Prolog 中的所有统一中启用发生检查？
与 STO 检测的统一
如果 X = f(X)，Prolog 会做什么？