Running programs

After a program is loaded, you 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. You can ask the system to find the next solution by typing ';' after a solution. You can terminate the execution by typing ctl-c.