Viivi Tables

[NOTE]
The correct terminating condition in the algorithm for the factorial calculation should be (= n 0).
To say the truth, Viivi currently has a Problem.
I wrote a sample code in order to explain and ask the problem, including a modified condition (= n 1), and made a mistake to use the code directly for creating the figure.
The condition in the figure will be corrected in the next update.
I apologize for any inconvenience this may cause to you.

The Viivi tables have dark-red backgrounds by default.

The various kinds of the tables visualize the internal state of Viivi kernel.

The first column in each table is dedicated for the "watch" function.
If the first column is check-marked, the evaluation process will stop when the corresponding row is highlighted.

The available tables in the current version are as follows:

• Break-Point Table
  It displays the break-points set in the source-codes.
• Closure Table
  It displays all the closures.
• Continuation Table
  It displays all the continuations.
• Input-Port Table
  It displays all the input-ports.
• Output-Port Table
  It displays all the output-ports.
• Procedure-Call Table
  It displays the current hierarchal structure of the procedure-calls.
• Scope Table
  It displays the detailed structure of the current scope, showing all the binding-relations hierarchically viewed from the current evaluation point.
• Syntax Table
  It displays all the syntaxes.
• System-Symbol Table
  It displays all the binding-relations predefined by the system.
• User-Symbol Table
  It displays in a handy way the binding-relations created by the user.
  Invisible symbols are also shown with a shaded background color.