Novel visualization scheme for reasoning with uncertainty

We propose a visualization scheme for the representation of the uncertainty and relations in reasoning using extended logic programming. This scheme has graphical layout and color utilization components borrowed from data mining, cartography, and general principles of graphic design. Even in simple logic programming examples the node count in reasoning grows quickly. Said growth contributes to a ldquolost in the weedsrdquo feeling for users. As a guideline for future development environment creation this proposal will facilitate effective user interface design to enhance user understanding.