Tracing Prolog programs by source instrumentation is efficient enough

L. Byrd, Understanding the control flow of Prolog programs, in: S.-A. Tärnlund (Ed.), Logic Programming Workshop, Debrecen, Hungary, 1980 M. Calejo, A framework for declarative Prolog debugging, Ph.D. Thesis, New University of Lisbon, Portugal, March 1992 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 Ducassé, 1994, Logic programming environments: dynamic program analysis and debugging, The Journal of Logic Programming, 19/20, 351, 10.1016/0743-1066(94)90030-2 M. Eisenstadt, A powerful Prolog trace package, in: Proceedings of the Sixth European Conference on Artificial Intelligence, September 1984, North-Holland, Amsterdam, 1985 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 I.C. Parc, London, The ECLiPSe Constraint Logic Programming System, ECLiPSe 3.5.2 – User Manual, 1996. http://www-icparc.doc.ic.ac.uk/eclipse/ 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 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 Roy, 1992, High-performance logic programming with the Aquarius Prolog compiler, Computer, 25, 54, 10.1109/2.108055 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) Swedish Institute of Computer Science, SICStus Prolog User's Manual, March 1998. Release 3.7 beta Taylor, 1991, High performance prolog on a RISC, New Generation Computing, 9, 221, 10.1007/BF03037163 Tolmach, 1995, A debugger for Standard ML, Journal of Functional Programming, 5, 155, 10.1017/S0956796800001313