Future Plan

• Bug fixes: there are still problems with the Explore module, particularly with redoing nodes that contain variables.
• Lots of refinements and enhancements: for example, extending Explore into a tracer/debugger for (pure) Prolog programs. This would involve showing variable bindings and clause matching, etc.
• Product completion: package the tool so that it can be used by people other than myself. To name a few: combine all modules into one binary file; reading user preference from .rc file; installing the tool on the Sun; writing user's manual.
• The thesis: there is still the small matter of the writeup.
• Graduate!

References

[Fisher95]
Fisher, J. R. "Logic Programs with Classical Negations and Visual Logic," California State University, Pomona. Technical report # ______, 1995.