improving on the presentation of the PrologEngine pane