Using Rules to Animate Prolog Programs

The paper provides a methodology to visualize the execution of Prolog programs. Program animation is useful in debugging programs. It could also help beginners to Prolog understand how Prolog works. The provided approach uses Constraint Handling Rules (CHR). The aim of the work is to animate the algorithm implemented by the Prolog program.

[1]  Slim Abdennadher,et al.  A Rule-Based Approach for Animating Java Algorithms , 2016, 2016 20th International Conference Information Visualisation (IV).

[2]  Christopher Mears,et al.  Visual search tree profiling , 2015, Constraints.

[3]  Marco Gavanelli.  SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX , 2017, Intelligenza Artificiale.

[4]  Slim Abdennadher,et al.  CHRAnimation: An Animation Tool for Constraint Handling Rules , 2014, LOPSTR.