Improving the ISO prolog standard by analyzing compliance test results

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4079 LNCS, Issue , 2006, Pages 257-269

  Szabó, Péter ^a   Szeredi, Péter ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

LIBRARIES; SEMANTICS; STANDARDIZATION; STANDARDS;

ISO PROLOG STANDARD; PORTABILITY; SYNTAX;

ARTIFICIAL INTELLIGENCE;

EID: 33749315181     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11799573_20     Document Type: Conference Paper

References (12)

1. Roberto Bagnara. Is the ISO Prolog standard taken seriously? The Association for Logic Programming Newsletter, 12(1):10-12, February 1999. URL http://www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a.
2. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López- García, and G. Puebla. The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), 2004. URL http://clip.dia.fi.upm.es/Software/Ciao/.
3. Laurent Cervoni, Abdelali Ed-Dbali, and Pierre Deransart. Prolog: Reference Manual. Springer, 1996.
4. Pierre Deransart and AbdelAli Ed-Dbali. Executable specification for Standard Prolog. URL http://www.uc.pt/logtalk/links.html, Download URL ftp://ftp-lifo.univ-orleans.fr/pub/Users/eddbali/SdProlog, 5 July 1996.
5. Daniel Diaz and Philippe Codognet. GNU Prolog: Beyond compiling Prolog to C. Lecture Notes in Computer Science, 1753:81-92, 2000.
6. Daniel Diaz and Philippe Codognet. The GNU Prolog system and its implementation. In ACM Symposium on Applied Computing (2), volume 1, pages 728-732, 19-21 March 2000.
7. Jonathan Hodgson. Validation test suite for ISO standard conformance. URL http://www.sju.edu/~jhodgson/x3j17.html, 2 October 1998.
8. Intelligent Systems Laboratory, SICS, PO Box 1263, S-164 28 Kista, Sweden. SICStus Prolog User's Manual (for version 3.12.3), October 2005. URL http://www.sics.se/sicstus/docs/3.12.3/html/sicstus.html/.
9. ISO. ISO/IEC 13211-1. International Standard, Invormation technology - Programming languages - Prolog - Part 1: General core, 1 edition, 1995.
10. V. Santos-Costa, L. Damas, R. Reis, and R. Azevedo. The Yap Prolog User's Manual. Universidade do Porto and COPPE Sistemas, 2006. URL http://www.ncc.up.pt/~vsc/Yap/.
11. Jan Wielemaker. An overview of the SWI-Prolog programming environment. In Fred Mesnard and Alexander Serebenik, editors, Proceedings of the 13th International Workshop on Logic Programming Environments, pages 1-16, Heverlee, Belgium, December 2003. Katholieke Universiteit Leuven. CW 371.
12. Jan Wielemaker. SWI-Prolog 5.6-4 Reference Manual. Human-Computer Studies, 2006. URL http://gollem.science.uva.nl/SWI-Prolog/Manual/.