- Documentation
- Reference manual
- Packages
- SWI-Prolog Python interface
- SWI-Prolog Semantic Web Library 3.0
- mqi -- Python and Other Programming Languge Integration for SWI Prolog
- Constraint Query Language A high level interface to SQL databases
- SWI-Prolog binding to GNU readline
- SWI-Prolog ODBC Interface
- SWI-Prolog binding to libarchive
- Transparent Inter-Process Communications (TIPC) libraries
- JPL: A bidirectional Prolog/Java interface
- Pengines: Web Logic Programming Made Easy
- Redis -- a SWI-Prolog client for redis
- SWI-Prolog SSL Interface
- Google's Protocol Buffers Library
- SWI-Prolog Natural Language Processing Primitives
- Prolog Unit Tests
- SWI-Prolog Unicode library
- SWI-Prolog YAML library
- SWI-Prolog HTTP support
- SWI-Prolog Regular Expression library
- Managing external tables for SWI-Prolog
- A C++ interface to SWI-Prolog
- SWI-Prolog SGML/XML parser
- sweep: SWI-Prolog Embedded in Emacs
- SWI-Prolog binding to zlib
- Paxos -- a SWI-Prolog replicating key-value store
- SWI-Prolog Source Documentation Version 2
- SWI-Prolog C-library
- SWI-Prolog binding to BSD libedit
- STOMP -- a SWI-Prolog STOMP client
- SWI-Prolog RDF parser
SWI-Prolog binding to GNU readline
Abstract
This package enables editing
commands in the Prolog toplevel using the
GNU
readline library.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.