This predicate may be called from main/1 to enter the Prolog toplevel rather than terminating the application after main/1 completes.
This predicate may be called from main/1 to enter the Prolog toplevel rather than terminating the application after main/1 completes.