:-op(950,xfx,[after,needs,affects,after_test,if]).
:-op(950,fx,[always,never,initially,want]).
:-op(900,xfy,&).
:-op(700,xfx,:).
:-op(600,fx,\).