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
/home/swish/lib/plugin/login.pl
All
Application
Manual
Name
Summary
Help
lib
plugin
login.pl -- SWISH login support
login_button//1
reply_logged_in/1
reply_logged_in_page/1
login_continue_button//0
reply_logged_out/1
current_user_info/2
li_login_button//1
li_login_button//1
http_authenticate.pl -- SWISH login management
email.pl -- Email plugin for SWISH
current_user_info
(+Request, -Info)
is
semidet
If there is a logged in user,
Info
is a dict with information about this user.