Improving the ISO Prolog standard by analyzing compliance test results. (English) Zbl 1131.68402
Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 257-269 (2006).
Summary: Part 1 of the ISO Prolog standard (ISO/IEC 13211) published in 1995 covers the core of Prolog, including syntax, operational semantics, streams and some built-in predicates. Libraries, DCGs, and global mutables are current standardization topics. Most Prolog implementations provide an ISO mode in which they adhere to the standard.
Our goal is to improve parts of the Prolog standard already published by finding and fixing ambiguities and missing details. To do so, we have compiled a suite of more than 1000 test cases covering part 1, and ran it on several free and commercial Prolog implementations. In this study we summarize the reasons of the test case failures, and discuss which of these indicate possible flaws in the standard.
We also discuss test framework and test case development issues specific to Prolog, as well as some portability issues encountered.
For the entire collection see [Zbl 1130.68008].
Our goal is to improve parts of the Prolog standard already published by finding and fixing ambiguities and missing details. To do so, we have compiled a suite of more than 1000 test cases covering part 1, and ran it on several free and commercial Prolog implementations. In this study we summarize the reasons of the test case failures, and discuss which of these indicate possible flaws in the standard.
We also discuss test framework and test case development issues specific to Prolog, as well as some portability issues encountered.
For the entire collection see [Zbl 1130.68008].
MSC:
| 68N17 | Logic programming |
