A_prolog2
