| Did you know ... | Search Documentation: |
| history.pl |
read_term_with_history(-Term, +Options)
list_history[private]
prompt_history(+Prompt)[private]
substitute(+Old, +New, +String, -Substituted) is semidet[private]
add_to_history(+Line:atom, +Options) is det[private]!match % Last event starting <match> !n % Event nr. <n> !! % last event
Note: the first character after a '!' should be a letter or number to avoid problems with the cut.
get_last_event(-Chars) is semidet[private]
matching_event(+String, -Chars) is semidet[private]