The ECLiPSe toplevel loop provides a simple history mechanism which allows to examine and to repeat previous queries. The history list is printed with command h. A previous query is invoked by typing its absolute number or its relative negative offset from the current query number (i.e. --1 will execute the previous query). The current query number is displayed in the toplevel prompt.
The history is initialized from the file .eclipse_history in the current directory or in the home directory. This file contains the history goals, each ended by a fullstop. The current history can be written using the predicate write_history/0 from the util library.