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