prolog - WAM 中的扁平化形式

Question

WAM: A Tutorial Reconstruction 指出查询 p(Z, h(Z,W), f(W)) 需要使用以下原则进行展平：

话虽如此，查询扁平化形式是：

X3=h(X2, X5), X4=f(X5), X1=p(X2, X3, X4);

我迷失了外部变量的定义，请考虑以下几点：

p(Z, h(Y, a(K, C), b(W)), f(W)).

Y 是外部变量吗？这个扁平化的形式应该如何？据我了解，这将是构造：

X1 = p(X2, X3, X4)
X2 = Z
X3 = h(X5, X6, X7)
X4 = f(X8)
X5 = Y
X6 = a(X7, X8)
X7 = K
X8 = C
X9 = b(X5)

但我不确定，从 X4 开始我很困惑，我应该先分配 h 内部值吗？

Answer 1

你的顺序是错误的：你在建立它们的论点之前建立术语。文本说在构建外部术语之前构建论点。例如，您必须先构建，a(K, C)然后才能构建h(..., a(K, C), ...)，并且您必须先构建它，然后才能构建p(..., h(..., a(K, C), ...), ...)。这是一项法律命令：

X7 = K
X8 = C
X6 = a(X7, X8)
X5 = Y
X9 = b(X5)
X2 = Z
X3 = h(X5, X6, X7)
X4 = f(X8)
X1 = p(X2, X3, X4)