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, M. Ducassé, and G. Ferrand, Une sémantique observationnelle du modèle des bo??tesbo??tes pour la résolution de programmes logiques, 2007.

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

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

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 (AADE- GUG'93), number 749, 1993.
DOI : 10.1007/BFb0019408