:- op(Var, xf, example).