Table of Contents

1 library(readline): GNU readline interface

license

Although the interface is BSD-licensed, the GNU readline library itself is covered by the GPL (General Public License). This implies that loading this library in an application makes all code loaded into the application subject to the GPL conditions.

This library binds GNU libreadline to SWI-Prolog. The GNU readline library provides emacs and vi based editing of queries on the Prolog toplevel, including TAB-based completion and history.

This library is by default loaded into an interactive Prolog process that is connected to a (Unix) terminal. Loading can be stopped by setting the Prolog flag readline to false.

[det]rl_read_init_file(+File)

Read a GNU readline config file. See the GNU readline manual for details.

[det]rl_add_history(+Line)

Add a line to the history.

[det]rl_write_history(+File)

Save the history to File. This can be reloaded in a next session using rl_read_history/1.

[det]rl_read_history(+File)

Read a saved history from File.

Index

?

rl_add_history/1

rl_read_history/1

rl_read_init_file/1

rl_write_history/1