The Run! button sends the query from the query editor and the program from the program editor for evaluation to the Prolog server.
You can either type a query or embed queries in a comment block in the program and select it from the Examples dropup menu. Queries are added to the History dropup menu for re-use.
Example queries embedded in your program must be formatted like this:
/** <examples> ?- run. ?- known(X). */