Title :
Graphical representation and execution animation for Prolog programs
Author :
Shinomi, Hideaki
Author_Institution :
IBM Res., Tokyo, Japan
Abstract :
GRASP (graphical analysis system for Prolog) is a graphical environment for analyzing Prolog programs. A description is given of the ideas that enable GRASP to visualize the structure and control flow of Prolog programs. Two types of graphical representation for a Prolog program are proposed. They visualize program structure and the logical relations of predicates, and help the user to analyze a program statically. Execution animation on the graphical representations in proposed. It dynamically visualizes the control flow during execution of a program, and assists the user finding any unintended portions in the execution
Keywords :
PROLOG; computer graphics; programming environments; GRASP; Prolog programs; control flow; execution animation; graphical analysis system for Prolog; graphical environment; graphical representation; logical relations; predicates; program structure; unintended portions; Animation; Artificial intelligence; Debugging; Flowcharts; Laboratories; Logic programming; Programming profession; Tree graphs; Visualization;
Conference_Titel :
Industrial Applications of Machine Intelligence and Vision, 1989., International Workshop on
Conference_Location :
Tokyo
DOI :
10.1109/MIV.1989.40546
