operator_atoms(1200, xfx, [':-', -]).
operator_atoms(1200, fx, [':-', -]).
query_prefix_operator(ok).