:- op(5, xfx, example(a,b)).