rentner(herr_mueller).
nachbarn(herr_mueller, frau_schmidt).
nachbarn(A, B) :- nachbarn(B, A).
"="(A, nachbar_von(B), d) :- nachbarn(A, B).

?- rentner(nachbar_von(frau_schmidt)).