Improving the ISO prolog standard by analyzing compliance test results

Authors:
Péter Szabó;Péter Szeredi
Affiliations:
Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Budapest, Hungary;Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Budapest, Hungary
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 2
Cited 3

The GNU Prolog system and its implementation

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
GNU Prolog: Beyond Compiling Prolog to C

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages

On the portability of prolog applications

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Swi-prolog

Theory and Practice of Logic Programming - Prolog Systems
An overview of ciao and its design philosophy

Theory and Practice of Logic Programming - Prolog Systems

Quantified Score

Hi-index	0.00

Visualization

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.