Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bagnara, R.: Is the ISO Prolog standard taken seriously? The Association for Logic Programming Newsletter 12(1), 10–12 (1999), http://www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a
Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.: The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM) (2004), http://clip.dia.fi.upm.es/Software/Ciao/
Cervoni, L., Ed-Dbali, A., Deransart, P.: Prolog: Reference Manual. Springer, Heidelberg (1996)
Deransart, P., Ed-Dbali, A.A.: Executable specification for Standard Prolog (July 5, 1996), http://www.uc.pt/logtalk/links.html Download ftp://ftp-lifo.univ-orleans.fr/pub/Users/eddbali/SdProlog
Díaz, D., Codognet, P.: GNU Prolog: Beyond Compiling Prolog to C. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 81–92. Springer, Heidelberg (2000)
Diaz, D., Codognet The, P.: The GNU Prolog system and its implementation. In: ACM Symposium on Applied Computing (2), vol. 1, pp. 728–732 (2000)
Hodgson, J.: Validation test suite for ISO standard conformance (October 2, 1998), http://www.sju.edu/~jhodgson/x3j17.html
Intelligent Systems Laboratory, SICS, PO Box 1263, S-164 28 Kista, Sweden. SICStus Prolog User’s Manual (for version 3.12.3) (October 2005), http://www.sics.se/sicstus/docs/3.12.3/html/sicstus.html/
ISO. ISO/IEC 13211-1. International Standard, Invormation technology – Programming languages – Prolog – Part 1: General core, 1 edition, 1995.
Santos-Costa, V., Damas, L., Reis, R., Azevedo, R.: The Yap Prolog User’s Manual. Universidade do Porto and COPPE Sistemas (2006), http://www.ncc.up.pt/~vsc/Yap/
Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: Mesnard, F., Serebenik, A. (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments, Heverlee, Belgium, pp. 1–16. Katholieke Universiteit Leuven. CW 371 (December 2003)
Wielemaker, J.: SWI-Prolog 5.6.4 Reference Manual. Human-Computer Studies (2006), http://gollem.science.uva.nl/SWI-Prolog/Manual/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Szabó, P., Szeredi, P. (2006). Improving the ISO Prolog Standard by Analyzing Compliance Test Results. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_20
Download citation
DOI: https://doi.org/10.1007/11799573_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)