:-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,\).