prolog " , P.