clause factory for predicates to atoms, vars, numbers, compounds