5 ms·Moreover, using an arrow operator, the OP almost wrote a Prolog expression: ( X==Y -> A ; B)by peti 15y agoMoreover, using an arrow operator, the OP almost wrote a Prolog expression: ( X==Y -> A ; B)