CHR in action. (English) Zbl 1473.68187

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 365-383 (2015).
Summary: Constraint handling rules (CHR) has expanded its application range over the past few years to include different algorithms rather than only constraint solvers. Animation of algorithms has been used over the past few decades to aid the understanding of programming languages and how they are processed. In this work, we present a generic form of animating CHR programs using source-to-source transformation. The transformation converts CHR programs into their equivalent CHR programs enhanced with animation features, in an automated manner.
For the entire collection see [Zbl 1326.68017].


68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17 Logic programming
Full Text: DOI


[1] SWI-Prolog - Manual. http://www.swi-prolog.org/download/xpce/doc/userguide/userguide.pdf
. Accessed 8 June 2015
[2] SWI-Prolog GUI - Manual. http://www.swi-prolog.org/packages/xpce/
. Accessed 8 June 2015
[3] Abdennadher, S., Saft, M.: A visualization tool for constraint handling rules. In: Proceedings of 11th Workshop on Logic Programming Environments (2001)
[4] Abdennadher, S., Sharaf, N.: Visualization of CHR through source-to-source transformation. In: Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012). Leibniz International Proceedings in Informatics (LIPIcs), vol. 17, pp. 109–118. Dagstuhl, Germany (2012) · Zbl 1281.68059
[5] Baecker, R.: Sorting out sorting: a case study of software visualization for teaching computer science. Softw. Vis. Program. Multimedia Experience 1, 369–381 (1998)
[6] Brown, M.H., Sedgewick, R.: A system for algorithm animation. SIGGRAPH Comput. Graph. 18(3), 177–186 (1984)
[7] Brown, M.H.: Zeus: a system for algorithm animation and multi-view editing. In: Proceedings of the IEEE Workshop on Visual Languages, pp. 4–9, October 1991
[8] Eisenstadt, M., Brayshaw, M.: Graphical debugging with the transparent PROLOG machine (TPM). In: McDermott, J.P. (ed.) Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 83–86. Morgan Kaufmann, August 1987 · Zbl 0671.68041
[9] Frühwirth, T.: Theory and practice of constraint handling rules, special issueon constraint logic programming. J. Logic Program. 37(1–3), 95–138 (1998) · Zbl 0920.68029
[10] Frühwirth, T.: Constraint Handling Rules. Cambridge University Press, New York (2009) · Zbl 1182.68039
[11] Frühwirth, T., Holzbaur, C.: Source-to-source transformation for a class of expressive rules. In: Buccafurri, F. (ed.) APPIA-GULP-PRODE, pp. 386–397 (2003)
[12] Halim, S., Koh, Z.C., Loh, V., Halim, F.: Learning algorithms with unified and interactive web-based visualization. Olympiads Inform. 6, 53–68 (2012)
[13] Hundhausen, C., Douglas, S., Stasko, J.: A meta-study of algorithm visualization effectiveness. J. Vis. Lang. Comput. 13(3), 259–290 (2002) · Zbl 05696021
[14] Pierson, W.C., Rodger, S.H.: Web-based animation of data structures using JAWAA. In: Proceedings of the Twenty-Ninth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, pp. 267–271. ACM, New York (1998)
[15] Rößling, G., Schüer, M., Freisleben, B.: The animal algorithm animation tool. In: ACM SIGCSE Bulletin, vol. 32, pp. 37–40. ACM (2000)
[16] Senay, H., Lazzeri, S.G.: Graphical representation of logic programs and their behavior. In: Proceedings of the 1991 IEEE Workshop on Visual Languages, Japan, 8–11 October 1991, pp. 25–31. IEEE Computer Society (1991)
[17] Sharaf, N., Abdennadher, S., Frühwirth, T.: CHRAnimation: an animation tool for constraint handling rules. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 92–110. Springer, Heidelberg (2015) · Zbl 06488532
[18] Sharaf, N., Abdennadher, S., Frühwirth, T.W.: Visualization of constraint handling rules. CoRR, abs/1405.3793 (2014)
[19] Simonis, H., Aggoun, A.: Search-tree visualisation. In: Deransart, P., Hermenegildo, M.V., Maluszynski, J. (eds.) DiSCiPl. LNCS, vol. 1870, pp. 191–208. Springer, Heidelberg (2000)
[20] Smolka, G.: The definition of kernel oz. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, pp. 251–292. Springer, Heidelberg (1994)
[21] Wielemaker, J., Anjewierden, A.: An architecture for making object-oriented systems available from prolog. arXiv preprint cs/0207053
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.