Prolog/criticism