BV Prolog_S.12