Contents

Notes: 1) Comments are in typewriter font. 2) About 40% of the material will be lifted from the thesis proposal and the web presentation. 3) The date next to each heading indicates when it and (unless otherwise noted) its sub-section were last updated. 4) Unfortunately, I haven't come up with a good way for you to give feedback. My suggestion is that you use the mailto link at the bottom of each page and copy and paste a portion of the text you want to comment on.

• Abstract 12-Jun-96

• Introduction 12-Jun-96

• Related works 10-Jun-96
  • Classical logic and resolution
  • Logic programming and the Prolog language
  • Visual logic programming
    • Pictorial Janus
    • SPARCL
  • Visualization of logic programs
    • The Transparent Prolog Machine
  • Other works of interest

• Background 24-May-96 [~follow thesis proposal]
  • Preliminary
    • Logic programs
    • Clause trees
  • Motivation
  • Definitions
    • Evident, supported, and conflicted propositions
    • An example
    • Annotated clause trees
  • Clause trees and linear resolution
  • Some theorems

• Overview of the Visual Logic tool 20-Jun-96 [~ follow web presentation]
  • Introduction
  • Query window
  • Explore window

• Discussion
  • Syntax 1-Jul-96
  • "Semantics" 15-Aug-96
  • System predicates
  • Design and implementation 2-Jul-96
    • Dealing with disjunctive clauses
    • Unification
    • Loop detection
    • Query mode 8-Jul-96
    • Explore mode 7-Jul-96
      • Defining a workable model for showing alternative derivations 8-Jul-96
  • Evaluation of the current tool. 1-Jul-96
    • VL as a computing platform for conflicts semantic
    • VL as a tree-based visualizer for logic programs
    • VL as a visual tracer for logic programs
  • Comparison with similar systems 10-Jul-96
  • Proposal for a full system
    • Handling states and extended definitions 15-Jul-96
    • Refining Query mode 16-Jul-96
    • Viewing large trees in Query mode 19-Jul-96
    • Explore mode revisited 10-Aug-96
    • Enhancing Explore mode 10-Aug-96

• Conclusion 14-Aug-96

• Reference 10-Jun-96

• Appendix
  • Program evident_state.pl 15-Jul-96
  • User manual 27-May-96
    • Introduction 30-May-96
    • Getting started
      • Starting the tool
      • Format of the source file
    • The main window
    • The query window
      • Performing a query
      • Displaying the clause tree
      • Meaning of the different attributes (color and font style)
      • Mouse actions 8-Jul-96
    • Explore window 29-May-96
      • Start an explore tree
      • The node selector
      • Expanding nodes
      • Meaning of node attributes
      • Backtracking 8-Jul-96
      • Getting all solutions (Important!) 8-Jul-96
      • Keyboard bindings
      • The watch window: additional control over expanding and redoing nodes
      • Step: quickly generating all possible clause trees 30-May-96
    • Other windows 29-May-96
      • Results window
      • The listing window
      • The editor window
  • Resource configuration 4-Sept-96
  • Program documentation [highlight points of interest]
  • Complete program listings

Back to the main page.