dcg_operator(-->, 1200, xfx).
dcg_operator('|', 1105, xfy).