Did you know ... Search Documentation:
Predicate guarded_main_loop/1
 guarded_main_loop(+Pengine) is det[private]
Executes state `2' of the pengine, where it waits for two events:
destroy
Terminate the pengine
ask(:Goal, +Options)
Solve Goal.