Running programs

After a program is loaded, users can query the program. For each query, the system executes the program, and reports yes when the query succeeds or no when the query fails. When a query that contains variables succeeds, the system also reports the bindings for the variables. Users can ask the system to find the next solution by typing ';' after a solution. Users can terminate the execution by typing ^C.