Mireille Ducassé Jacques Noyé Tracing Prolog Programs by Source Instrumentation is Efficient Enough. 157-172 2000 43 J. Log. Program. 2 db/journals/jlp/jlp43.html#DucasseN00