{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:46:18Z","timestamp":1752461178344},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411376"},{"type":"electronic","value":"9783540400165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722311_7","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T06:35:38Z","timestamp":1167460538000},"page":"177-190","source":"Crossref","is-referenced-by-count":3,"title":["Visual Tools to Debug Prolog IV Programs"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Bouvier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61735-3_4","volume-title":"Algebraic and Logic Programming","author":"F. Benhamou","year":"1996","unstructured":"Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 62\u201376. Springer, Heidelberg (1996)"},{"key":"7_CR2","unstructured":"Benhamou, F., Toura\u00efvane. Prolog IV : langage et algorithmes. In: JFPL 1995: IVe Journ\u00e9es Francophones de Programmation en Logique. Dijon, France, pp. 51\u201365 (1995)"},{"key":"7_CR3","unstructured":"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), \n                    \n                      http:\/\/discipl.inria.fr\/"},{"key":"7_CR4","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un syst\u00e8me de communication homme-machine en fran\u00e7ais. Technical report, Groupe Intelligence Artificielle, Universit\u00e9 d\u2019Aix-Marseille (1973)"},{"key":"7_CR5","unstructured":"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), \n                    \n                      http:\/\/discipl.inria.fr\/"},{"key":"7_CR6","volume-title":"Constraint Logic Programming: Selected Papers","author":"W.J. Older","year":"1993","unstructured":"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)"},{"key":"7_CR7","series-title":"Professional Computing Series","volume-title":"Tcl and the Tk Toolkit","author":"J.K. Ousterhout","year":"1994","unstructured":"Ousterhout, J.K.: Tcl and the Tk Toolkit. Professional Computing Series. Addison-Wesley, Reading (1994)"},{"key":"7_CR8","unstructured":"Prolog IV team. The Prolog IV Manual (reference and user manual). PrologIA (1996)"},{"key":"7_CR9","unstructured":"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\u2013300 (1997)"}],"container-title":["Lecture Notes in Computer Science","Analysis and Visualization Tools for Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722311_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T11:18:48Z","timestamp":1553339928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/10722311_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}