我一直在尝试实现一种用于对数据记录程序进行半天真评估的算法，但是在任何地方都无法获得简单的答案来解释简单单词之间的差异。
根据我的理解，天真是一种自下而上的评估技术，半天真也是。
在第一次迭代中，两种评估技术都从一个空集开始。
随着迭代的进一步进行，最终都将产生迭代并生成元组，直到到达新的元组为止。
那么半幼稚是从规则的头还是身体开始的？
path (X,Y):- edge(X,Y).
path (X,Y):- edge(X,Z),path (Z,Y).
有人可以解释一下上述程序在每次迭代结束时如何更新EDB和IDB。元组是否存储在每个谓词下。就像边缘的单独列和路径的单独列一样，否则它们将被存储为集合。
全球和地方统一又有什么区别？