Hi Ulrich,
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)?
At least Scryer (I've not checked other compliant systems) fails.
Thanks,
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
On Wed, Jun 3, 2026 at 8:18 PM Joachim Schimpf via Prolog-standard < prolog-standard@software.imdea.org> wrote:
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
Thanks Joachim!!
Cheers, Joachim _______________________________________________ Prolog-standard mailing list -- prolog-standard@software.imdea.org To unsubscribe send an email to prolog-standard-leave@software.imdea.org
prolog-standard@software.imdea.org
-
Joachim Schimpf -
Jose F. Morales