Tracing prolog programs by source instrumentation is efficient enough

Journal of Logic Programming

Volumn 43, Issue 2, 2000, Pages 157-172

  Ducassé, Mireille ^a   Noyé, Jacques ^b  

^a CAMPUS DE BEAULIEU   (France)

^b ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; CODES (SYMBOLS); PROGRAM DEBUGGING; PROGRAM INTERPRETERS; UNIX;

COMPILED CODE INSTRUMENTATION; PROGRAM SOURCE INSTRUMENTATION; TRACE INFORMATION;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0034190364     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00061-8     Document Type: Article

References (14)

1. L. Byrd, Understanding the control flow of Prolog programs, in: S.-A. Tärnlund (Ed.), Logic Programming Workshop, Debrecen, Hungary, 1980.
2. M. Calejo, A framework for declarative Prolog debugging, Ph.D. Thesis, New University of Lisbon, Portugal, March 1992.
3. M. Ducassé, Opium: an extendable trace analyser for Prolog, in: A. Bossi, Y. Deville (Eds.), The Journal of Logic programming, Special issue on Synthesis, Transformation and Analysis of Logic Programs, 1999.
4. M. Ducassé, J. Noyé, Logic programming environments: dynamic program analysis and debugging, The Journal of Logic Programming 19/20 (1994) 351-384.
5. M. Eisenstadt, A powerful Prolog trace package, in: Proceedings of the Sixth European Conference on Artificial Intelligence, September 1984, North-Holland, Amsterdam, 1985.
6. B. Holmer, B. Sano, M. Carlton, P. Van Roy, R. Haygood, W. Bush, A. Despain, Fast Prolog with an extended general purpose architecture, in: Proceedings of the 17th Annual International Conference on Computer Architecture, IEEE/ACM, IEEE Computer Soc. Press, Silver Spring, MD, May 1990.
7. I.C. Pare, London, The ECLiPSe Constraint Logic Programming System, ECLiPSe 3.5.2 - User Manual, 1996. http://www-icparc.doc.ic.ac.uk/eclipse/.
8. J. Noyé, An overview of the Knowledge Crunching Machine, in: M. Abdelguerfi, S. Lavington (Eds.), Emerging Trends in Database and Knowledge-base Machines, IEEE Computer Soc. Press, Silver Spring, MD, 1994.
9. M. Pettersson, Portable debugging and profiling, in: K. Koskimies (Ed.), Compiler Construction, Seventh International Conference, CC'98, Lecture Notes in Computer Science, vol. 1383, Springer, Berlin, 1998, pp. 279-293. ISBN 3-540-64304-4.
10. P.V. Roy, A.M Despain, High-performance logic programming with the Aquarius Prolog compiler, Computer 25 (1) (1992) 54-68.
11. G. Specht, Source-to-source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken, Ph.D. Thesis, Technischen Universität München, Juni 1992 (in German).
12. Swedish Institute of Computer Science, SICStus Prolog User's Manual, March 1998. Release 3.7 beta.
13. A. Taylor, High performance prolog on a RISC, New Generation Computing 9 (1991) 221-232.
14. A. Tolmach, A. Appel, A debugger for Standard ML, Journal of Functional Programming 5 (2) (1995) 155-200.