Off-campus Eastern Washington University users: To download EWU Only theses, please use the following link to log into our proxy server with your EWU NetID and password.

Non-EWU users: Please talk to your local librarian about requesting this thesis through Interlibrary loan.

Date of Award

Spring 2009


Access perpetually restricted to EWU users with an active EWU NetID

Document Type

Thesis: EWU Only

Degree Name

Master of Science (MS) in Computer Science


Computer Science


I developed 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 "lost in the weeds" feeling for users. The scheme presented here combats that sense with a three-layered visualization using function specific layouts and a reasonable and meaningful color palette to tame complex systems. As a guideline for future development environment creation this proposal will facilitate effective user interface design to enhance user understanding.