Clause-Tree display

To Start the tree-display, make sure there is some prolog code currently loaded (consulted) inside the interpreter, and then use the "Tree" option in the main menu of G.I.S. Prolog.

To navigate inside the "forest of clause-trees", use the "previous tree" and "next tree" options of the temporary menu that replaces the main menu of G.I.S. prolog, during the time when clause-trees are being displayed.

Uses of the Clause-Tree Display:

The Clause-tree display is very useful educationally: For each program clause, a tree representation is drawn and displayed (in virtual window space, where the tree can be of unlimited size). In the next version of G.I.S. Prolog, this Tree display facility will also allow tree-editing (and all kinds of "gardening operations on trees"), as well as provide additional information by pop-up menus at the tree nodes.