isual ogic is a graphical tool for visualizing and animating several tree-based logical concepts introduced by John R. Fisher. The program is currently near completion. This page gives a brief overview of the theoretical concepts behind Visual Logic and describes its main features, including working examples and screen shots.

Contents

• Background
• Motivation
• Definitions
• Logic Programs
• Clause trees and supported propositions
• An example
• The Visual Logic Tool
• Introduction
• Overview
• Explore window
• Query window
• Results window
• Future Plans

Back to the main page