Title :
A formal approach to visual proving based on logic programming
Author_Institution :
RIMS, Kyoto Univ., Japan
Abstract :
Gives a general framework for visual proving based on logic programming, by giving a mapping from figures to formulas. For a figure consisting of graphic objects and constraints, the author formally defines the set of facts that are visible in the figure. As a result, one can rigorously formalize the soundness of reasoning by figures
Keywords :
logic programming; programming theory; theorem proving; visual programming; constraints; figures; formulas; graphic objects; logic programming; theorem proving; visual proving; Arithmetic; Constraint theory; Graphics; Logic programming; Mathematics;
Conference_Titel :
Visual Languages, 1992. Proceedings., 1992 IEEE Workshop on
Conference_Location :
Seattle, WA
Print_ISBN :
0-8186-3090-6
DOI :
10.1109/WVL.1992.275756
