1 library(readline): GNU readline interface
AllApplicationManualNameSummaryHelp

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.