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).
*/