[peti]

Moreover, using an arrow operator, the OP almost wrote a Prolog expression:

  ( X==Y -> A ; B)