"="(X, nachbar_von(Y), d) :- nachbarn(X, Y).
nachbarn(X, Y) :- nachbarn(Y, X).

nachbarn(a, b).
nachbarn(b, c).

rentner(a).
arbeiter(c).

?- rentner(nachbar_von(b)), arbeiter(nachbar_von(b)).