Navigating in Prolog Converge

Prolog Converge consists of the following areas:

You can navigate in the areas using the following: