rlwrap

root@gitlab:/devel/LogicmooDeveloperFramework# ls ~/.rlwrap/
yap_completions  yap_history

root@gitlab:/devel/LogicmooDeveloperFramework# alias yap
alias yap='rlwrap -a yap'

root@gitlab:/devel/LogicmooDeveloperFramework# echo $RLWRAP_HOME
/root/.rlwrap

root@gitlab:/devel/LogicmooDeveloperFramework# echo $RLWRAP_
$RLWRAP_EDITOR  $RLWRAP_HOME

root@gitlab:/devel/LogicmooDeveloperFramework# echo $RLWRAP_EDITOR
vi +%L

root@gitlab:/devel/LogicmooDeveloperFramework# cat ~/.inputrc
$if coqtop
set show−all−if−ambiguous On
$endif
$if yap
set show−all−if−ambiguous On
$endif


 use_module(library(lists)), tell('~/.rlwrap/yap_completions'), ignore(((current_atom(X),atom_codes(X,Cs),\+ (member(C,"~ "),member(C,Cs)),writeq(X),nl,fail))),told.