1 library(readline): GNU readline interface
All Application Manual Name SummaryHelp

Availability::- use_module(library(readline)).(can be autoloaded)
[det]rl_write_history(+File)
Save the history to File. This can be reloaded in a next session using rl_read_history/1.