:- op(10, Var, example).