gegenueber(links, rechts).
gegenueber(rechts, links).

mirror(leaf, leaf).
mirror(node(X, Y), node(Y1, X1)) :-
    mirror(X, X1), mirror(Y, Y1).

symmetric(X) :- mirror(X, X).