Prolog section update