prolog_aux fix