The convenor of ISO/IEC JTC 1/SC 22/WG 17 has compiled the results of a conformity assessment regarding syntax. It is interesting how different Prolog systems fare in this comparison:
Even after the departure from ISO compliance of recent SWI versions, many of these issues are still relevant and can be improved within the current syntactic behaviour of SWI-Prolog.
Any contribution to improve some of the reported cases is greatly appreciated in the interest of reliability, portability and conformance.
Note that SWI-Prolog is inherently not fully ISO compliant, so please ask on the mailing list if you plan to work on any of these items and are in doubt about the exact circumstances.
The convenor of ISO/IEC JTC 1/SC 22/WG 17 has compiled the results of a conformity assessment regarding syntax. It is interesting how different Prolog systems fare in this comparison:
http://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_assessment
Even after the departure from ISO compliance of recent SWI versions, many of these issues are still relevant and can be improved within the current syntactic behaviour of SWI-Prolog.
Any contribution to improve some of the reported cases is greatly appreciated in the interest of reliability, portability and conformance.
Note that SWI-Prolog is inherently not fully ISO compliant, so please ask on the mailing list if you plan to work on any of these items and are in doubt about the exact circumstances.