Motif caveat: When the main window originally appears, the insertion point caret is not visible. To make it visible, click the left mouse button anywhere after the Prolog prompt.