lib

Prolog files

attvar.plShow source
authenticate.pl  -- Authentication access for SWISHShow source
authentication_hook/3Is called from the /pengine/create request to establish the logged in user.Source
authenticate/2Establish the identity behind the HTTP Request.Source
user_property/2True when Identity has Property.Source
avatar.pl  -- Avatar managementShow source
bootstrap.pl  -- Bootstrap form generatorShow source
chat.pl  -- The SWISH collaboration backboneShow source
broadcast_bell/3Adds a bell to indicate central chat messages.Source
chat_about/2Distribute a chat message about DocID.Source
chat_broadcast/1Send Message to all known SWISH clients.Source
chat_broadcast/2Send Message to all known SWISH clients.Source
chat_to_profile/2Send a HTML notification to users logged in using ProfileID.Source
notifications/3The chat element is added to the navbar and managed by web/js/chat.js.Source
chatstore.pl  -- Store chat messagesShow source
config.pl  -- Make HTTP locations known to JSON codeShow source
content_filter.pl  -- Ban list content filterShow source
dashboard.pl  -- Provide non-programmer query executionShow source
data_source.pl  -- Cached data accessShow source
download.pl  -- Provide a button for downloading dataShow source
download_button/2Emit a button in the SWISH output window for downloading Data.Source
examples.pl  -- Serve example filesShow source
provides/1Make examples available through swish_provides/1.Source
flags.plShow source
form.pl  -- Form handling utilitiesShow source
validate_field/4True when Value is a valid value for Field from Dict according to Options.Source
validate_form/2Run validate_field/4 on all specified fields, combining the error message.Source
gitty.pl  -- Single-file GIT like version systemShow source
gitty_driver_bdb.pl  -- Gitty BDB driverShow source
gitty_driver_files.pl  -- Gitty plain files driverShow source
attach_pack/2Load the index of Pack into memory.Source
delete_head/2Delete Head from Store.Source
delete_object/2Delete an existing object.Source
fsck_pack/1Validate the integrity of the pack file File.Source
gitty_close/1Close resources associated with a store.Source
gitty_file/4True when File entry in the gitty store and Head is the HEAD revision.Source
gitty_fsck/1Validate all packs associated with Store.Source
gitty_hash/2True when Hash is an object in the store.Source
gitty_object_file/3True when Path is the file at which the object with Hash is stored.Source
gitty_open/2Driver specific initialization.Source
gitty_rescan/1Update our view of the shared storage for all stores matching Store.Source
gitty_update_head/5Update the head of a gitty store for Name.Source
load_object/5Load the given object.Source
load_object_from_pack/4True when Hash is in a pack and can be loaded.Source
load_plain_commit/3Load the commit data as a dict.Source
pack_objects/6Pack the given objects and pack files into a new pack.Source
repack_objects/2Repack objects of Store for reduced disk usage and enhanced performance.Source
set_head/3Set the head of the given File to Hash.Source
store_object/4Store the actual object.Source
unpack_pack/2Turn a pack back into a plain object files.Source
unpack_packs/1Unpack all packs.Source
help.pl  -- SWISH help systemShow source
highlight.pl  -- Highlight token serverShow source
xref_open_source/2Open a source.Source
config/2Provides the object config.swish.style, a JSON object that maps style properties of user-defined extensions of library(prolog_colour).Source
css/3Multifile hook to define additional style to apply in a specific context.Source
current_highlight_state/2Return info on the current highlighter.Source
server_tokens/1These predicates help debugging the server side.Source
show_mirror/1These predicates help debugging the server side.Source
style/3Declare that we map StyleIn as generated by library(prolog_colour) into a token of type SWISHType, providing additional context information based on Attributes.Source
token_info/3Generate HTML, providing details about Token.Source
html_output.pl  -- SWISH HTML OutputShow source
http_version.pl  -- Serve version details over HTTPShow source
include.pl  -- Support :- include(File) from SWISHShow source
xref_source_file/3Deal with the above expansion for :- include(program) to support the cross-referencer.Source
xref_source_identifier/2Map swish://file to a file from the gitty store.Source
include/2Include file at a specific version.Source
jquery.pl  -- Call jQuery on the SWISH interfaceShow source
logging.pl  -- Add SWISH query execution to the HTTP log fileShow source
create_log_dir/0Create the directory for holding the log files.Source
create_log_dir/1Create the directory for holding the log files.Source
markdown.pl  -- SWISH Notebook markdown supportShow source
md_eval.pl  -- Provide evaluable markdownShow source
messages.plShow source
noble_avatar.pl  -- Noble Avatar generatorShow source
oauth2.pl  -- Oauth2 based loginShow source
login/3Multifile hook to realise the actual login.Source
oauth2_claim/2True when Claim is the claim made in TokenInfo.Source
oauth2_login/2HTTP handler to login using oauth2.Source
oauth2_reply/2HTTP handler for the redirect we get back from the oauth2 server.Source
oauth2_user_info/3Given the token details obtained in oauth2_reply/2, get extended information about the user from the identity provider.Source
oauth2_validate_access_token/3Validates the AccessToken with Unity (implicit or hybrid flow).Source
server_attribute/3Multifile hook that defines available oauth2 servers.Source
page.pl  -- Provide the SWISH application as Prolog HTML componentShow source
logo/3Hook to include the top-left logos.
pengine_logo/3Emit an <a> element that provides a link to Pengines and SWISH on this server.Source
swish_content/3Generate the SWISH editor, Prolog output area and query editor.Source
swish_logo/3Emit an <a> element that provides a link to Pengines and SWISH on this server.Source
swish_navbar/3Generate the swish navigation bar.Source
swish_page/3Generate the entire SWISH default page.Source
swish_reply/2HTTP handler to reply the default SWISH page.Source
swish_reply_resource/1Serve /swish/Resource files.Source
swish_resources/2Include SWISH CSS and JavaScript.Source
patch.pl  -- Run patch programShow source
paths.pl  -- Setup SWISH search pathsShow source
pep.pl  -- SWISH PEP (Policy Enforcement Point)Show source
procps.pl  -- Get process statistics from Linux /procShow source
procps_stat/1Get data from the stat file of the current process, the process identified by PID or the Prolog thread identified by Thread.Source
procps_stat/2Get data from the stat file of the current process, the process identified by PID or the Prolog thread identified by Thread.Source
procps_status/1Get the data from /proc/self/status as a Prolog dict.Source
procps_status/2Get the data from /proc/self/status as a Prolog dict.Source
procps_thread_stat/2Get data from the stat file of the current process, the process identified by PID or the Prolog thread identified by Thread.Source
profiles.plShow source
projection.pl  -- Define the projectionShow source
projection/1Specify the result variables.Source
r_swish.plShow source
render.pl  -- SWISH term-rendering supportShow source
search.pl  -- SWISH search from the navigation barShow source
match/3True if Line matches Query, respecting Options.Source
search_box/3Render a Bootstrap search box.Source
typeahead/4Find typeahead suggestions for a specific search category (Type).Source
session.pl  -- Setup SWISH sessionsShow source
storage.pl  -- Store files on behalve of web clientsShow source
swish_chr.pl  -- Make CHR available in SWISHShow source
swish_csv.pl  -- Support CSV output from a Pengines serverShow source
swish_debug.pl  -- Print debug messages and test assertionsShow source
swish_diagnostics.plShow source
swish_redis.pl  -- Redis stream connectionShow source
redis_consumer/1True when Consumer is the name of this redis node.Source
reinit_redis/0Stop and start the redis thread.Source
swish_cluster/1True when Pairs is a list Consumer-URL of peer SWISH servers in this cluster.Source
template_hint.pl  -- Generate template hints for CondeMirrorShow source
trace.pl  -- Show source
prepare_goal/3Handle the breakpoints(List) option to set breakpoints prior to execution of the query.Source
open_source/2Open SWISH non-file sources.Source
$swish wrapper/2Wrap a SWISH goal in '$swish wrapper'.Source
post_context/3Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced.Source
pre_context/3Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced.Source
tutorial.plShow source
version.pl  -- Manage software versionsShow source
web.pl  -- Serve /pluginShow source