From: Markus Triska <triska@metalevel.at>
Date: Sun, 15 May 2022 08:04:45 +0000 (+0200)
Subject: document atom and predicate completion with TAB
X-Git-Tag: v0.9.1~29^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1e9821ec0cac7df4102b8ca56aad377042481cb9;p=scryer-prolog.git

document atom and predicate completion with TAB

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!
---

diff --git a/README.md b/README.md
index 7f3faa71..68fab560 100644
--- a/README.md
+++ b/README.md
@@ -205,6 +205,11 @@ or&nbsp;`.` to abort the search and return to the
 toplevel&nbsp;prompt. Press&nbsp;`f` to see the next 5 answers, and
 `a` to see all answers. Press&nbsp;`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&nbsp;`TAB` yields `declarative_world`. Press&nbsp;`TAB` repeatedly
+to cycle through alternative completions.
+
 To quit Scryer Prolog, use the standard predicate `halt/0`:
 
 ```