proba_prolog