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

Merge pull request #1477 from triska/document_tab_completion

Browse Source 
document atom and predicate completion with TAB
This commit is contained in:
Mark Thom
2022-05-15 09:44:26 -06:00
committed by GitHub
parent 66e047083a 1e9821ec0c
commit 8df552e952
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
`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`:
```