Abstract
Like any non-deterministic language, Prolog IV is difficult to use and large Prolog IV programs are quite challenging to debug —not to mention the fact that Prolog IV has a rich and complex constraint mechanism ... Although debugging tools already exist in previous versions of the Prolog IV system, their paradigm, as local debuggers/viewers, doesn’t give the programmer a good picture of the whole execution process. This chapter presents the Prolog IV Visual Debugger and explains how it is used with the other tools for program debugging and profiling.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodríguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol. 1139, pp. 62–76. Springer, Heidelberg (1996)
Benhamou, F., Touraïvane. Prolog IV : langage et algorithmes. In: JFPL 1995: IVe Journées Francophones de Programmation en Logique. Dijon, France, pp. 51–65 (1995)
Bouvier, P.: DiSCiPl deliverable: Visual Tools for Debugging Prolog IV Programs (a chapter of the Prolog IV manual). Deliverable D.WP3.5.M2.2. DiSCiPl - Debugging Systems for Constraint Programming, Esprit 22532 (1998), http://discipl.inria.fr/
Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un système de communication homme-machine en français. Technical report, Groupe Intelligence Artificielle, Université d’Aix-Marseille (1973)
Cornelissens, T., et al.: General report on assessment of the tools. Deliverable D.WP1.3.M1.3. DiSCiPl - Debugging Systems for Constraint Programming (Esprit 22532) (April 1999), http://discipl.inria.fr/
Older, W.J., Vellino, A.: Constraint Arithmetic on Real Intervals. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Papers. The MIT Press, Cambridge (1993)
Ousterhout, J.K.: Tcl and the Tk Toolkit. Professional Computing Series. Addison-Wesley, Reading (1994)
Prolog IV team. The Prolog IV Manual (reference and user manual). PrologIA (1996)
Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Naish, L. (ed.) Proceedings of the 14th Int. Conf. on Logic Programming, Cambridge, pp. 286–300 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bouvier, P. (2000). Visual Tools to Debug Prolog IV Programs. In: Deransart, P., Hermenegildo, M.V., Małuszynski, J. (eds) Analysis and Visualization Tools for Constraint Programming. Lecture Notes in Computer Science, vol 1870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722311_7
Download citation
DOI: https://doi.org/10.1007/10722311_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41137-6
Online ISBN: 978-3-540-40016-5
eBook Packages: Springer Book Archive