List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/readline
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
pengine://2c218ba3-cd0e-45fb-9e28-b4a3bb60818d
pengine://3f469bec-bffb-413a-a0bb-e244a10e55b1
pengine://41b89265-509c-4a90-8731-bc6f5c21a7a8
pengine://5c5f13fa-c693-4c16-bf98-0d9518132309
pengine://66b00002-bd17-4c1a-b3ee-9b3d93f61152
pengine://9080a8e2-aad9-435f-b5a6-b70ecdcc76ae
pengine://a6a7ceb7-11e5-4afb-8777-623df39ae792
pengine://c1cd2a59-2747-4f43-872d-6b19c5f34df9
/home/mlunife/swish/lib/oauth2.pl
All
Application
Manual
Name
Summary
Help
swish
lib
messages.pl
paths.pl -- Setup SWISH search paths
config.pl -- Make HTTP locations known to JSON code
page.pl -- Provide the SWISH application as Prolog HTML component
help.pl -- SWISH help system
search.pl -- SWISH search from the navigation bar
chat.pl -- The SWISH collaboration backbone
storage.pl -- Store files on behalve of web clients
gitty.pl -- Single-file GIT like version system
gitty_driver_bdb.pl -- Gitty BDB driver
gitty_driver_files.pl -- Gitty plain files driver
swish_redis.pl -- Redis stream connection
patch.pl -- Run patch program
authenticate.pl -- Authentication access for SWISH
pep.pl -- SWISH PEP (Policy Enforcement Point)
avatar.pl -- Avatar management
noble_avatar.pl -- Noble Avatar generator
chatstore.pl -- Store chat messages
content_filter.pl -- Ban list content filter
include.pl -- Support :- include(File) from SWISH
swish_csv.pl -- Support CSV output from a Pengines server
examples.pl -- Serve example files
md_eval.pl -- Provide evaluable markdown
profiles.pl
highlight.pl -- Highlight token server
markdown.pl -- SWISH Notebook markdown support
template_hint.pl -- Generate template hints for CondeMirror
render.pl -- SWISH term-rendering support
tutorial.pl
web.pl -- Serve /plugin
version.pl -- Manage software versions
oauth2.pl -- Oauth2 based login
server_attribute/3
oauth2_login/2
oauth2_reply/2
login/3
oauth2_validate_access_token/3
oauth2_user_info/3
oauth2_claim/2
r_swish.pl
download.pl -- Provide a button for downloading data
data_source.pl -- Cached data access
logging.pl -- Add SWISH query execution to the HTTP log file
bootstrap.pl -- Bootstrap form generator
form.pl -- Form handling utilities
http_version.pl -- Serve version details over HTTP
session.pl -- Setup SWISH sessions
trace.pl --
projection.pl -- Define the projection
attvar.pl
jquery.pl -- Call jQuery on the SWISH interface
dashboard.pl -- Provide non-programmer query execution
html_output.pl -- SWISH HTML Output
swish_diagnostics.pl
procps.pl
swish_debug.pl -- Print debug messages and test assertions
flags.pl
swish_chr.pl -- Make CHR available in SWISH
oauth2_user_info
(+ServerID, +TokenInfo, -UserInfo)
is
det
Given the token details obtained in
oauth2_reply/2
, get extended information about the user from the identity provider.
TokenInfo
is a dict that must contain
access_token
.