A visualization method for knowledge represented by general logic programs

M. Sasakura
Proceedings Fifth International Conference on Information Visualisation  
In this paper; we describe a visualization methodfor general logic clauses as the first step of a visualization of logic programs. Since we think inclusion is essential to represent an outline of knowledge, we propose a method based on Euler diagrams to visualize in$rence rules represented as a set of general logic clauses which consist of literals with no variable. We develop a prototype system and show that complex rules which are hard to understand in text are easy to understand by diagrams.
doi:10.1109/iv.2001.942049 dblp:conf/iv/Sasakura01 fatcat:faufkxxohvbzxjjemvcows47ji