dividing the editions buttons in two groups
associating the query history with the Prolog engine, instead of with a thread in a Prolog engine