lib

Prolog files

attvar.plShow source
authenticate.pl  -- Authentication access for SWISHShow source
avatar.pl  -- Avatar managementShow source
bootstrap.pl  -- Bootstrap form generatorShow source
chat.pl  -- The SWISH collaboration backboneShow 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
parameters/1Fill query parameters.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
flags.plShow source
form.pl  -- Form handling utilitiesShow 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
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
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
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
not_sandboxed/2Called by Pengines to see whether User may call non-sandboxed operations in Application.Source
approve/3This hook is called by approve/2 and deny/2 before the default rules.
approve/2Source
authorized/2Verify that Action is authorized.Source
deny/2Source
ws_authorized/2True when WSUser is allowed to perform action.Source
procps.plShow source
profiles.plShow source
projection.pl  -- Define the projectionShow source
r_swish.plShow source
render.pl  -- SWISH term-rendering supportShow source
search.pl  -- SWISH search from the navigation barShow source
session.pl  -- Setup SWISH sessionsShow source
storage.pl  -- Store files on behalve of web clientsShow source
typeahead/4Find files using typeahead from the SWISH search box.Source
storage_commit/2Load the commit data for Hash.Source
storage_file/1True if File is known in the store.Source
storage_file/3True if File is known in the store.Source
storage_file_extension/2True if File is known in the store.Source
storage_file_extension_head/3True if File is known in the store.Source
storage_fsck/0Enumerate and check the consistency of the entire store.Source
storage_load_term/2Add/retrieve terms from the gitty store.Source
storage_meta_data/2True if File is known in the store.Source
storage_meta_property/2True when Meta has Property.Source
storage_repack/0Repack the storage directory.Source
storage_repack/1Repack the storage directory.Source
storage_store_term/2Add/retrieve terms from the gitty store.Source
storage_unpack/0Unpack all packed objects of the store.Source
use_gitty_file/1Load a file from the Gitty store.Source
use_gitty_file/2Load a file from the Gitty store.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
debug/1Add/remove a topic from being printed.Source
list_debug_topics/0List currently known topics for debug/3 and their setting.Source
list_debug_topics/1List currently known topics for debug/3 and their setting.Source
nodebug/1Add/remove a topic from being printed.Source
swish_debug/3Format a message if debug topic is enabled.Source
swish_debugging/1Examine debug topics.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
config/2Provides the object config.swish.templates, a JSON object that provides the templates for hinting in CodeMirror.Source
predicate_template/2Source
visible_predicate/3True when PI is a plain predicate indicator for a predicate that can be called in Module.Source
visible_predicate_templates/3True when Templates is a JSON dict holding autocompletion templates for Module.Source
trace.pl  -- Show source
tutorial.plShow source
version.pl  -- Manage software versionsShow source
web.pl  -- Serve /pluginShow source