Currently, one has to write ``` result(?x, ?y) :- r(?x, ?y), OR(NUMGREATER(?x, 2), EQUALITY(?y, 0)) . ``` instead of the more clearer ``` result(?x, ?y) :- r(?x, ?y), OR(?x > 2, ?y = 0) . ``` This will become even more important once we have #772.
Currently, one has to write
instead of the more clearer
This will become even more important once we have #772.