SWI-Prolog offers a query substitution mechanism similar to that
of Unix csh (csh(1)), called `history'. It allows the user to compose
new queries from those typed before and remembered by the system. It
also allows to correct queries and syntax errors. SWI-Prolog does not
offer the Unix csh capabilities to include arguments. This is omitted
as it is unclear how the first, second, etc. argument should be
defined.
The available history commands are shown in table 
.
Figure gives some examples.
Figure: Some examples of the history facility
