3 Jun
2026
3 Jun
'26
11:26 p.m.
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
--
Jose