From 1e9821ec0cac7df4102b8ca56aad377042481cb9 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 15 May 2022 10:04:45 +0200 Subject: [PATCH] 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! --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 7f3faa71..68fab560 100644 --- a/README.md +++ b/README.md @@ -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`: ``` -- 2.54.0