在ISO Prolog中，一致性仅针对那些不受出现检查限制的情况（NSTO）进行定义。其背后的思想是覆盖程序中大多数使用的一致性情况，并且所有Prolog系统都实际支持这些情况。更具体地，ISO/IEC 13211-1:1995如下所述： 7.3.3 受出现检查（STO）和不受出现检查（NS...

在Prolog中，将谓词与未绑定变量进行比较意味着什么？

据我所知，通过声音统一，SLD解析不应创建循环数据结构（这正确吗？） 如果是这样的话，理论上可以以这种方式实现Prolog，而无需垃圾回收（GC）。但是，也可能不需要。 这对基于WAM的Prolog实现是否成立？ 这对SWI-Prolog是否成立？（我认为它不是基于WAM的）在全局启用“...