stelle_auf(A,B) :- auf(A,B).
stelle_auf(A,B):- A \= tisch, A \=B, frei(A),frei(B), retract(auf(A,X)),assert(auf(A,B)),assert(bewegt(A,X,B)).

frei(tisch).
frei(X) :- not( auf(_,X)).
