1/*  Part of SWI-Prolog
    2
    3    Author:        Jan Wielemaker
    4    E-mail:        jan@swi-prolog.org
    5    WWW:           https://www.swi-prolog.org
    6    Copyright (c)  2013-2026, VU University Amsterdam
    7                              SWI-Prolog Solutions b.v.
    8    All rights reserved.
    9
   10    Redistribution and use in source and binary forms, with or without
   11    modification, are permitted provided that the following conditions
   12    are met:
   13
   14    1. Redistributions of source code must retain the above copyright
   15       notice, this list of conditions and the following disclaimer.
   16
   17    2. Redistributions in binary form must reproduce the above copyright
   18       notice, this list of conditions and the following disclaimer in
   19       the documentation and/or other materials provided with the
   20       distribution.
   21
   22    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
   23    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
   24    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
   25    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
   26    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
   27    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
   28    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
   29    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
   30    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
   31    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
   32    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
   33    POSSIBILITY OF SUCH DAMAGE.
   34*/
   35
   36:- module(prolog_console_input,
   37          [
   38          ]).   39:- autoload(library(lists), [reverse/2, append/2]).   40:- autoload(library(dcg/basics), [remainder/3]).   41:- autoload(library(apply), [maplist/3, convlist/3]).

   52:- multifile
   53    prolog:complete_input/4.

 prolog:complete_input(+BeforeCursor:string, +AfterCursor:string, -Delete:atom, -Completions:list) is semidet

Compute auto completions for the input line BeforeCursor+AfterCursor. Implemented completions

• Files<br>
  • Text starting '<prefix> (single quotes) is completed as a file. If there is a single matching file a terminating `'` is added.
  • If the start of the line is [<prefix> and text can be a non-quoted atom, look for Prolog files with this name. Directories can be inserted as / (unquoted), as long as each segment is a valid atom. If a single .pl file is found it is closed with ], without the extension.
  • Text starting library(<prefix> is completed as a library file using the same rules as [<prefix>, but looking in all library directories instead of the current directory.
• Atoms
  <prefix> is used to complete atoms that can be written without quotes (excluding symbol atoms such as -->) and are permanent, i.e., have references from clauses records, flags, foreign code, etc.
• Variables
  <Prefix> is completed as an atom if it is a valid variable name. It is completed with other atoms from the query being edited using the same search as Emacs dabbrev (Dynamic Abbreviation). $<Prefix> expands to saved toplevel variables.

Arguments:

Delete	- is an atom or string representing the text that is replaced by the completion
Completions	- is a list of elements of this shape: Atom Used for a plain completion without comment Atom - Comment Used for a completion with comment. This will be used for predicates.

   96prolog:complete_input(Before, After, Delete, Completions) :-
   97    string_codes(Before, Chars),
   98    reverse(Chars, BeforeRev),
   99    complete(BeforeRev, After, Delete, Completions).
  100
  101complete(BeforeRev, _After, Prefix, Files) :-   % complete files
  102    phrase(file_prefix(Prefix, Type), BeforeRev),
  103    !,
  104    (   Type = library(Close)
  105    ->  complete_library(Prefix, Close, Files)
  106    ;   atom_concat(Prefix, '*', Pattern),
  107        expand_file_name(Pattern, Files0),
  108        finish_file_name(Files0, Type, Files)
  109    ).
  110complete(BeforeRev, After, Prefix, Completions) :-   % complete atoms
  111    phrase(identifier_prefix_r(Prefix, Type), BeforeRev, BeforeRev1),
  112    !,
  113    identifier_completions(Type, Prefix, BeforeRev1, After, Completions).
  114
  115identifier_completions(atom, Prefix, _, _, Atoms) :-
  116    '$atom_completions'(Prefix, Atoms).
  117identifier_completions(var, Prefix, BeforeRev, After, Vars) :-
  118    findall(Var, var_starts(Prefix, BeforeRev, After, Var), Vars0),
  119    sort(Vars0, Vars).
  120
  121var_starts(Prefix, [0'$|_], _After, Var) :-        % $Var
  122    !,
  123    recorded('$topvar', Var = _),
  124    sub_atom(Var, 0, _, _, Prefix).
  125var_starts(Prefix, BeforeRev, _After, Var) :-        % Backard search
  126    phrase((..., nonid_char, identifier_prefix_r(Var, var)),
  127           BeforeRev, _),
  128    sub_string(Var, 0, _, _, Prefix).
  129var_starts(Prefix, _BeforeRev, AfterString, Var) :-  % Forward search
  130    string_codes(AfterString, After),
  131    phrase((..., nonid_char, identifier_prefix(Var, var)),
  132           After, _),
  133    sub_string(Var, 0, _, _, Prefix).
  134
  135... --> [] ; [_], ... .
  136
  137nonid_char -->
  138    [C],
  139    { \+ code_type(C, prolog_identifier_continue) }.

 identifier_prefix(-Prefix, -Type) is semidet

 identifier_prefix_r(-Prefix, -Type) is semidet

  144identifier_prefix(Prefix, Type) -->
  145    atom_chars(String),
  146    { String = [H|_],
  147      (   code_type(H, prolog_var_start)
  148      ->  Type = var
  149      ;   Type = atom
  150      ),
  151      string_codes(Prefix, String) % do not create an atom
  152    }.
  153
  154identifier_prefix_r(Prefix, Type) -->
  155    atom_chars(RevString),
  156    { reverse(RevString, String),
  157      String = [H|_],
  158      (   code_type(H, prolog_var_start)
  159      ->  Type = var
  160      ;   Type = atom
  161      ),
  162      string_codes(Prefix, String) % do not create an atom
  163    }.
  164
  165atom_chars([H|T]) --> atom_char(H), !, atom_chars(T).
  166atom_chars([]) --> [].
  167
  168atom_char(C) --> [C], { atom_char(C) }.
  169
  170atom_char(C) :- code_type(C, prolog_identifier_continue).

 file_prefix(-Prefix, -Type)// is semidet

True when the part before the cursor looks like a file name.

  176file_prefix(Prefix, file) -->
  177    file_chars(RevString, quoted('\'')), "'",
  178    !,
  179    remainder(_),
  180    { reverse(RevString, String),
  181      atom_codes(Prefix, String)
  182    }.
  183file_prefix(Prefix, consult(']')) -->
  184    file_chars(RevString, unquoted), "[",
  185    !,
  186    { reverse(RevString, String),
  187      atom_codes(Prefix, String)
  188    }.
  189file_prefix(Prefix, library(')')) -->
  190    file_chars(RevString, unquoted), "(yrarbil",
  191    !,
  192    remainder(_),
  193    { reverse(RevString, String),
  194      atom_codes(Prefix, String)
  195    }.
  196
  197file_chars([H|T], Style) --> file_char(H, Style), !, file_chars(T, Style).
  198file_chars([], _) --> [].
  199
  200file_char(C, Style) --> [C], { file_char(C, Style) }.
  201
  202file_char(C, _) :- code_type(C, alnum).		% not csym: file names
  203file_char(0'_, _).				% are not C identifiers
  204file_char(0'/, _).
  205file_char(C, quoted(_)) :-
  206    file_char(C).
  207
  208file_char(0'.).
  209file_char(0'-).
  210file_char(0'~).
  211:- if(current_prolog_flag(windows,true)).  212file_char(0':).
  213file_char(0'\s).
  214:- endif.

 finish_file_name(+Matches, -Completions) is det

Add closing quote for a unique file name.

  220finish_file_name([Dir0], _, [Dir]) :-
  221    exists_directory(Dir0),
  222    !,
  223    atom_concat(Dir0, '/', Dir).
  224finish_file_name([File0], Close, [File]) :-
  225    exists_file(File0),
  226    close_file_name(File0, Close, File),
  227    !.
  228finish_file_name(Files0, _, Files) :-
  229    maplist(tag_dir, Files0, Files).
  230
  231tag_dir(Dir, DirS) :-
  232    exists_directory(Dir),
  233    !,
  234    atom_concat(Dir, /, DirS).
  235tag_dir(File, File).
  236
  237close_file_name(File0, consult(Close), File) :-
  238    file_name_extension(Base, Ext, File0),
  239    user:prolog_file_type(Ext, prolog),
  240    atom_concat(Base, Close, File).
  241close_file_name(File0, quoted(Close), File) :-
  242    atom_concat(File0, Close, File).

 complete_library(+Prefix:atom, +Close:atom, -Completions:list) is semidet

Complete to a library entry on "library(Prefix".

  249complete_library(Prefix, Close, Libraries) :-
  250    findall(Pairs, complete_one_libdir(Prefix, Pairs), DirPairs),
  251    (   DirPairs = [LibDir-[f(File)]]
  252    ->  atom_concat(LibDir, Local, File),
  253        atom_concat(Local, Close, Completion),
  254        Libraries = [Completion]
  255    ;   DirPairs = [LibDir-[d(Dir)]]
  256    ->  atom_concat(LibDir, Local, Dir),
  257        atom_concat(Local, '/', Completion),
  258        Libraries = [Completion]
  259    ;   maplist(local_libs, DirPairs, FilesLists),
  260        append(FilesLists, Libraries0),
  261        sort(Libraries0, Libraries)
  262    ).
  263
  264complete_one_libdir(Prefix, LibdirS-Files) :-
  265    absolute_file_name(library(.), LibDir,
  266                       [ file_type(directory),
  267                         solutions(all)
  268                       ]),
  269    atom_concat(LibDir, /, LibdirS),
  270    atomic_list_concat([LibdirS, Prefix, '*'], Pattern),
  271    expand_file_name(Pattern, Entries),
  272    convlist(dir_or_source, Entries, Files0),
  273    sort(Files0, Files),
  274    Files \== [].
  275
  276local_libs(LibDir-Members, Locals) :-
  277    maplist(local_file_name(LibDir), Members, Locals).
  278
  279local_file_name(LibDir, f(File), Local) :-
  280    atom_concat(LibDir, Local, File).
  281local_file_name(LibDir, d(Dir), Local) :-
  282    atom_concat(LibDir, Local0, Dir),
  283    atom_concat(Local0, /, Local).
  284
  285dir_or_source(Entry, f(Plain)) :-
  286    file_name_extension(Plain, Ext, Entry),
  287    user:prolog_file_type(Ext, prolog),
  288    !.
  289dir_or_source(Entry, d(Entry)) :-
  290    exists_directory(Entry)