Deux Modèles de Trace pour le Langage Prolog, Actes duQuatrì eme Séminaire de Programmation en Logique, CNET- Lannion (France), 1984. ,
Prolog debugging facilities, Technical Report D.A.I. paper No, vol.19, 1980. ,
Understanding the control flow of Prolog programs, Logic Programming Workshop, 1980. ,
Predicate Logic as a Computational Formalism, 1979. ,
On using Tracer Driver for External Dynamic Process Observation, Proceedings of the 16th Workshop on Logic-based Methods in Programming Environments, 2006. ,
Une sémantique observationnelle du modèle des bo??tesbo??tes pour la résolution de programmes logiques, 2007. ,
The Standard ; Reference Manual, 1996. ,
GNU-Prolog, a free Prolog compiler with constraint solving over finite domains, 2003. ,
OPIUM, ACM SIGSOFT Software Engineering Notes, vol.16, issue.2, pp.177-223, 1999. ,
DOI : 10.1145/122538.122549
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
Pure Prolog Execution in 21 Rules, Proc. of the 5th Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'03), Kinsale, 2003. ,
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
User's Guide to DECsystem-10 ,
Visual Debuggger for Prolog, Proceedings of the Second Conference on Artificial Intelligence Applications, 1985. ,
Tools for dynamic analysis and debugging of constraint programs, French RNTL project, 2001. ,
Prolog : Manuel de Référence et d'Utilisation , 1975 ,
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