P. Boizumault, Deux Modèles de Trace pour le Langage Prolog, Actes duQuatrì eme Séminaire de Programmation en Logique, CNET-Lannion (France), 1984.

L. Byrd, Prolog debugging facilities, Technical Report D.A.I. paper No, vol.19, 1980.

L. Byrd, Understanding the control flow of Prolog programs, Logic Programming Workshop, 1980.

K. L. Clark, Predicate Logic as a Computational Formalism, 1979.

P. Deransart, On using Tracer Driver for External Dynamic Process Observation, Proceedings of the 16th Workshop on Logic-based Methods in Programming Environments, 2006.

P. Deransart, A. Ed-dbali, L. Cervoni, and . Prolog, The Standard; Reference Manual, 1996.

P. Deransart and J. Ma-luszy´nskiluszy´nski, A grammatical view of logic programming, 1993.
DOI : 10.1007/3-540-50820-1_50
URL : https://hal.archives-ouvertes.fr/inria-00075671

D. Diaz, GNU-Prolog, a free Prolog compiler with constraint solving over finite domains, 2003.

M. Ducassé, OPIUM, ACM SIGSOFT Software Engineering Notes, vol.16, issue.2, pp.177-223, 1999.
DOI : 10.1145/122538.122549

E. Jahier, M. Ducassé, and O. Ridoux, Specifying Prolog Trace Models with a Continuation Semantics, Proc. of LOgic-based Program Synthesis and TRansformation, 2000.
DOI : 10.1007/3-540-45142-0_10

. Marijakuì-as, Pure Prolog Execution in 21 Rules, Proc. of the 5th Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'03), Kinsale, 2003.

L. Langevine, P. Deransart, and M. Ducassé, A Generic Trace Schema for the Portability of CP(FD) Debugging Tools, Recent Advances in Constraints, 2003.
DOI : 10.1007/978-3-540-24662-6_10

L. Moniz-pereira, F. Pereira, and D. H. Warren, User's Guide to DECsystem-10 Prolog, 1978.

M. Numao and T. Fujisaki, Visual Debuggger for Prolog, Proceedings of the Second Conference on Artificial Intelligence Applications, 1985.

. Oadymppac, Tools for dynamic analysis and debugging of constraint programs, French RNTL project, 2001.

P. Roussel, Prolog : Manuel de Référence et d'Utilisation, 1975

G. Toberman and C. Berckstein, What's in a trace: The box model revisited, Proceedings of the First Workshop on Automated and Algorithmic Debugging (AADEGUG'93), number 749, 1993.
DOI : 10.1007/BFb0019408

. Unité-de-recherche-inria-rocquencourt-domaine-de-voluceau-rocquencourt-bp, 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex (France) Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche, 2004.