Logic Programming
What
versus
How
 

Exercise 6.1 - Syntax


For each of the following strings, say whether it is a syntactically legal expression in our update language.

(a) p(a,f(f(X))) ==> p(X,Y)
(b) P(a,Y) ==> P(Y,a)
(c) p(X,Y) & p(Y,Z) ==> ~p(X,Y) & ~p(Y,Z) & p(X,Z)
(d) p(X,b) ==> f(X,f(b,c))