O'Reilly logo
  • Michael Sokolov thinks this is interesting:

friend(X, Y) ​:-​ \+(X = Y), likes(X, Z), likes(Y, Z).

From

Cover of Seven Languages in Seven Weeks

Note

this raises a syntax error in swipl?