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
_______________________________________________
Prolog-standard mailing list -- prolog-standard@software.imdea.org
To unsubscribe send an email to prolog-standard-leave@software.imdea.org