|Did you know ...
|SWI-Prolog binding to GNU readline
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