Did you know ... Search Documentation:
Predicate ask/3
 ask(+Pengine, :Goal, +Options)[private]
Migrate from state `2' to `3'. This predicate validates that it is safe to call Goal using safe_goal/1 and then calls solve/3 to prove the goal. It takes care of the chunk(N) option.