simple-term.pl 44 B

1
  1. nachbar(X, Y) :- farbe(X), farbe(Y), X \= Y.