A propagation tracer for GNU-prolog: From formal definition to efficient implementation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2916, Issue , 2003, Pages 269-283

  Langevine, Ludovic ^a   Ducassé, Mireille ^b   Deransart, Pierre ^a  

^a INRIA ROCQUENCOURT   (France)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TOOLS; COMPLETE INFORMATION; CONSTRAINT PROPAGATION; EFFICIENT IMPLEMENTATION; EXECUTION TRACE; FORMAL DEFINITION; FORMAL SPECIFICATION; PROGRAM BEHAVIOR; PROGRAM EXECUTION;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; OPEN SOURCE SOFTWARE;

PROGRAM DEBUGGING;

EID: 0348155881     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24599-5_19     Document Type: Conference Paper

References (19)

1. M. Ågren, T. Szeredi, N. Beldiceanu, and M. Carlsson. Tracing and explaining execution of clp(fd) programs. In Proc. of WLPE'02, 2002. CoRR:cs.SE/0207047.
2. C. Bracchi, C. Gefflot, and F. Paulin. Combining propagation information and search-tree visualization using opl studio. In Proc. of WLPE'01, Cyprus, 2001.
3. P. Codognet and D. Diaz. Compiling constraints in clp(FD). Journal of Logic Programming, 27(3):185-226, June 1996.
4. P. Deransart, M. Ducassé, and L. Langevine. A generic trace model for finite domain solvers. In B. O'Sullivan, editor, Proc. of UICS'02, Ithaca (USA), 2002.
5. P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog, The Standard; Reference Manual. Springer Verlag, April 1996.
6. P. Deransart, M. Hermenegildo, and J. Małuszyński, editors. Analysis and Visualisation Tools for Constraint Programming. Springer, 2000. LNCS 1870.
7. D. Diaz. Gnu prolog, a free prolog compiler with constraint solving over finite domains, 2003. http://gprolog.sourceforge.net/ Distributed under the GNU GPL.
8. D. Diaz and P. Codognet. Design and implementation of the gnu prolog system. Journal of Functional and Logic Programming, 6-10, 2001.
9. F. Fages. Clpgui: a generic graphical user interface for constraint logic programming over finite domains. In Proc. of WLPE'02, 2002. CoRR:cs.SE/0207048.
10. I.P. Gent and T. Walsh. CSPLib: a benchmark library for constraints, 1999. http://csplib.cs.strath.ac.uk/. A presentation appears in the Proc. of CP-99.
11. Ilog. Solver 5.1 reference manual, 2001.
12. E. Jahier and M. Ducassé. Generic program monitoring by trace analysis. Theory and Practice of Logic Programming, 2002.
13. N. Jussien and V. Barichard. The palm system: explanation-based constraint programming. In Proc. of TRICS'00, pages 118-133, Singapore, September 2000.
14. L. Langevine. Codeine, a propagation tracer for GNU-Prolog, 2003. http://contraintes.inria.fr/~langevin/codeine.
15. M. Meier. Debugging constraint programs. In U. Montanari and F. Rossi, editors, Proc. of CP 1995, number 976 in LNCS. Springer Verlag, 1995.
16. T. Müller. Practical investigation of constraints with graph views. In Proc. of CP2000, number 1894 in LNCS. Springer-Verlag, 2000.
17. C. Schulte. Oz Explorer: A Visual Constraint Programming Tool. In Proc. of Iclp'97, pages 286-300, Leuven, Belgium, June 1997. The MIT Press.
18. Z. Somogyi and F. Henderson. The implementation technology of the Mercury debugger. In Proc. of WLPE'99, volume 30(4). Elsevier, ENTCS, 1999.
19. A. Tolmach and A.W. Appel. A debugger for Standard ML. Journal of Functional Programming, 5(2):155-200, April 1995.