"="("*"("*"(X, Y), Z), "*"(X, "*"(Y, Z))).	% Assoziativität
"="("*"(X, Y), "*"(Y, X)).						% Kommutativität
p("*"(b, "*"(a, b)), a).
q("*"(X, Y)) :- p(X, Y).

?- q("*"("*"(a, b), "*"(b, a))).