WAM'de düzleştirilmiş form

Question

WAM: A Tutorial Reconstruction, bir sorgunun, p (Z, h (Z, W), f (W)), aşağıdaki ilkeler kullanılarak düzleştirilmesi gerektiğini belirtir:

Bununla birlikte, sorgu düzleştirilmiş formu şudur:

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

Dış değişken tanımında kayboldum, şunu düşünün:

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

Y harici bir değişken mi? Bunun için düzleştirilmiş form nasıl olmalıdır? Anladığım kadarıyla bu yapı şöyle olurdu:

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)

Ama emin değilim, X4'ten başlayarak kafam karıştı, önce h iç değerlerini atamalı mıyım?

Answer 1

Düzeni yanlış bir şekilde vermişsinizdir: Onların argümanlarını oluşturmadan önce terimler inşa ediyorsunuz. Metin, dış terimleri oluşturmadan önce argümanları oluşturmanızı söylüyor. Örneğin, inşa a(K, C)etmeden önce inşa etmelisiniz ve inşa etmeden önce onu inşa h(..., a(K, C), ...)etmelisiniz p(..., h(..., a(K, C), ...), ...). İşte bir yasal emir:

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)