List extension packs
/home/ISDAlab
/home/logicalcontracts/lc
/home/logicalcontracts/lc/nlpmappings
/home/logicalcontracts/lc/tezos
/home/lps_corner/engine
/home/lps_corner/swish
/home/lps_corner/utils
/home/swish
/home/swish/config-enabled
/home/swish/lib
/home/swish/lib/plugin
/home/swish/lib/render
/home/swish/pack/profile/prolog
/home/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/sicstus
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
SWI-Prolog 8.1.1
All
Application
Manual
Name
Summary
Help
console_input.pl
prolog
:
complete_input
(+BeforeCursor, +AfterCursor, -Delete, -Completions)
is
det
[multifile]
Compute auto completions for the input line
BeforeCursor
+
AfterCursor
.
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.
console_input.plconsole_input.pl prolog:complete_input(+BeforeCursor, +AfterCursor, -Delete, -Completions) is det[multifile]