/usr/lib/swipl/library/shell.pl
All Application Manual Name SummaryHelp

 pushd
 pushd(+Dir)
 popd
 dirs
Manage the directory stack:
  • pushd/1 is as cd/1, pushing th old directory on a stack
  • pushd/0 swaps the current directory with the top of the stack
  • popd/0 pops to the top of the stack
  • dirs/0 lists the current directory and the stack.
ClioPatria (version V3.1.1-59-g7b9a7a3)