rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

document atom and predicate completion with TAB

Browse Source 
This feature, added via
https://github.com/mthom/scryer-prolog/pull/1467, makes the toplevel
interaction a lot more convenient in many cases.

Many thanks to @euanlacy!
This commit is contained in:
Markus Triska
2022-05-15 10:04:45 +02:00
parent 66e047083a
commit 1e9821ec0c
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@@ -205,6 +205,11 @@ or `.` to abort the search and return to the
toplevel prompt. Press `f` to see the next 5 answers, and toplevel prompt. Press `f` to see the next 5 answers, and
`a` to see all answers. Press `h` to show a help message. `a` to see all answers. Press `h` to show a help message.
Use `TAB` to complete atoms and predicate names in queries. For
instance, after consulting the program above, typing `decl` followed
by `TAB` yields `declarative_world`. Press `TAB` repeatedly
to cycle through alternative completions.
To quit Scryer Prolog, use the standard predicate `halt/0`: To quit Scryer Prolog, use the standard predicate `halt/0`:
``` ```