[Prolog-standard] Re: max_integer flag on unbounded system

On 03/06/2026 18:58, Jose F. Morales wrote:

Quick one about current_prolog_flag/2 when a standard flag is conditionally absent. On a system with bigints, flags max_integer and min_integer are not present. So what should

?- current_prolog_flag(max_integer, X).

do there: fail, or raise domain_error(prolog_flag, max_integer)?

It must fail, explicitly specified in ISO_IEC_13211, 7.11.1.1

Cheers, Joachim