- lib
- swish
- 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
- 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
- render.pl -- SWISH term-rendering support
- template_hint.pl -- Generate template hints for CondeMirror
- trace.pl --
- projection.pl -- Define the projection
- jquery.pl -- Call jQuery on the SWISH interface
- dashboard.pl -- Provide non-programmer query execution
- bootstrap.pl -- Bootstrap form generator
- form.pl -- Form handling utilities
- cp_authenticate.pl -- SWISH login management
- logging.pl -- Add SWISH query execution to the HTTP log file
- swish
- user_property(+Identity, ?Property) is nondet
- True when Identity has Property. Defined properties are:
- peer(Atom)
- Remote IP address
- identity(Atom)
- Identity as provided by some identity provider
- identity_provider(Atom)
- Subsystem that identified the user
- external_identity(Atom)
- Identity as provided by the identity_provider
- profile_id(Atom)
- Identifier of the profile we have on this user.
- login(Atom)
- Same as
identity_provider(Atom)
- name(Atom)
- Name associated with the identity
- email(Atom)
- Email associated with the identity