Did you know ... Search Documentation:
Pack pager -- prolog/pager.pl
PublicShow source
 with_pager(:Goal)
Send output of Goal through the user's preferred pager. The pager is only used if current_output is connected to a terminal. Otherwise, send output directly to current_output.