error(domain_error(prolog_flag), warning)