On Wed, Jun 3, 2026 at 10:11 AM Ulrich Neumerkel <ulrich@a4.complang.tuwien.ac.at> wrote:
#7 up to #11 added, in particular w.r.t. discoverability

https://www.complang.tuwien.ac.at/ulrich/iso-prolog/max_arity#9

> That is definitely a problem and most of the ISO tests suites I have
> available either fail here or ignore those cases.

The only way how all systems can discover this flag is via #11.

Which particular test suites are you referring to?

Our ISO compliance tests are collected from several sources and put together at:
 - https://github.com/ciao-lang/iso_tests (see https://github.com/ciao-lang/iso_tests/blob/master/src/iso_tests.pl for a description and sources)

It is not complete and imperfect (sits on top of a module/3 declaration, which is non-standard), but we are giving it a push. The 84.91% pass is currently at 89.22%. 
  
The comparison table suggests that there are many other unrelated
issues to resolve.  The flag as such is currently an implementation
specific extension (5.5.8).

Thanks
 
_______________________________________________
Prolog-standard mailing list -- prolog-standard@software.imdea.org
To unsubscribe send an email to prolog-standard-leave@software.imdea.org


--
Jose