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.
ClioPatria (version V3.1.1-51-ga0b30a5)