Did you know ... Search Documentation:
Predicate with_pager/1
 with_pager(+Goal)[private]
Send the current output of Goal through a pager. If no pager can be found we simply dump the output to the current output. We wait for the pager to terminate, so the toplevel does not print its prompt on the screen the pager is using.