You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Take your time. After working some more with the paper, the query instructions are created with a post order tree walk algorithm (this query is wrong). But fact instructions are OK.
There is a typo, it should be:
?-p(f(X), h(Y, f(a)), Y).
with a capitalY
.I think that would be indeed a leap (quite a big one). Not sure, does this work with the machine?
Query:
?-p(f(X), h(Y, f(a)), Y).
Fact:
p(Z, h(Z, W), f(W)).
Maybe it is a breadth-first tree walk algorithm for the conversion of terms to instructions.
Why is it page 18? Isn't the exercise at page 23?
The text was updated successfully, but these errors were encountered: