在ISO Prolog中,一致性仅针对那些不受出现检查限制的情况(NSTO)进行定义。其背后的思想是覆盖程序中大多数使用的一致性情况,并且所有Prolog系统都实际支持这些情况。更具体地,ISO/IEC 13211-1:1995如下所述: 7.3.3 受出现检查(STO)和不受出现检查(NS...
据我所知,通过声音统一,SLD解析不应创建循环数据结构(这正确吗?) 如果是这样的话,理论上可以以这种方式实现Prolog,而无需垃圾回收(GC)。但是,也可能不需要。 这对基于WAM的Prolog实现是否成立? 这对SWI-Prolog是否成立?(我认为它不是基于WAM的)在全局启用“...