Conclusion

Visual Logic represents an experimental attempt to explore the combination of logic programs, conflicts theory, clause tree representation, and a graphical environment. The tool (with some caveats) provides an effective computing and visualizing platform for several new logical concepts from conflicts theory. It can also be used to visualize and animate logic programs and their execution space -- a sort of visual tracer for logic programs. In this capacity, VL lacks the sophistication and robustness of more mature systems, yet has some unique features and interesting ideas of its own. With the inclusion of at least some of the proposed changes and additions, VL has the potential of being a functional and useful tool for exploring logic programs, with an emphasis on conflicts theory.