attvar.pl![Show source Show source](/pldoc/res/source.png) |
put_attr/2 | Put an attribute on the current module. | ![Show source Source](/pldoc/res/source.png) |
authenticate.pl -- Authentication access for SWISH![Show source Show source](/pldoc/res/source.png) |
avatar.pl -- Avatar management![Show source Show source](/pldoc/res/source.png) |
random_avatar/1 | Generate a random avatar image url. | ![Show source Source](/pldoc/res/source.png) |
release_avatar/1 | Release the avatar to the pool of free avatars. | ![Show source Source](/pldoc/res/source.png) |
valid_gravatar/1 | True if URL is a real gravatar. | ![Show source Source](/pldoc/res/source.png) |
bootstrap.pl -- Bootstrap form generator![Show source Show source](/pldoc/res/source.png) |
bt_button/6 | | ![Show source Source](/pldoc/res/source.png) |
bt_form/4 | Emit a Bootstrap form from Contents. | ![Show source Source](/pldoc/res/source.png) |
name_label/2 | Determine a label from a name by upcasing the first character and replacing all underscores by spaces. | ![Show source Source](/pldoc/res/source.png) |
chat.pl -- The SWISH collaboration backbone![Show source Show source](/pldoc/res/source.png) |
broadcast_bell/3 | Adds a bell to indicate central chat messages. | ![Show source Source](/pldoc/res/source.png) |
chat_about/2 | Distribute a chat message about DocID. | ![Show source Source](/pldoc/res/source.png) |
chat_broadcast/1 | Send Message to all known SWISH clients. | ![Show source Source](/pldoc/res/source.png) |
chat_broadcast/2 | Send Message to all known SWISH clients. | ![Show source Source](/pldoc/res/source.png) |
chat_to_profile/2 | Send a HTML notification to users logged in using ProfileID. | ![Show source Source](/pldoc/res/source.png) |
notifications/3 | The chat element is added to the navbar and managed by web/js/chat.js. | ![Show source Source](/pldoc/res/source.png) |
chatstore.pl -- Store chat messages![Show source Show source](/pldoc/res/source.png) |
chat_messages/3 | Get messages associated with DocID. | ![Show source Source](/pldoc/res/source.png) |
chat_store/1 | Add a chat message to the chat store. | ![Show source Source](/pldoc/res/source.png) |
chat_count_about/2 | True when Count is the number of messages about DocID. | ![Show source Source](/pldoc/res/source.png) |
config.pl -- Make HTTP locations known to JSON code![Show source Show source](/pldoc/res/source.png) |
config/2 | Define a name/value pair that will end up in the SWISH config object (see web/js/config.js ). | ![Show source Source](/pldoc/res/source.png) |
login/2 | If a login item with 'data-server'(+Server) is clicked, the HTTP handler with id login is called. | ![Show source Source](/pldoc/res/source.png) |
login_item/2 | This hook is called to find all possible login options. | ![Show source Source](/pldoc/res/source.png) |
source_alias/2 | Multifile hook that defines properties of file_search_path/2 aliases wrt. | ![Show source Source](/pldoc/res/source.png) |
swish_config/2 | Define a name/value pair that will end up in the SWISH config object (see web/js/config.js ). | ![Show source Source](/pldoc/res/source.png) |
swish_config_hash/2 | True if Hash is the SHA1 of the SWISH config. | ![Show source Source](/pldoc/res/source.png) |
swish_reply_config/2 | Emit a configuration object to the client if the client requests for '.../swish_config.json', regardless of the path prefix. | ![Show source Source](/pldoc/res/source.png) |
user_info/3 | Each login facility must provide this hook. | ![Show source Source](/pldoc/res/source.png) |
content_filter.pl -- Ban list content filter![Show source Show source](/pldoc/res/source.png) |
eval_content/3 | Evaluate the content of Text. | ![Show source Source](/pldoc/res/source.png) |
dashboard.pl -- Provide non-programmer query execution![Show source Show source](/pldoc/res/source.png) |
parameters/1 | Fill query parameters. | ![Show source Source](/pldoc/res/source.png) |
examples.pl -- Serve example files![Show source Show source](/pldoc/res/source.png) |
provides/1 | Make examples available through swish_provides/1. | ![Show source Source](/pldoc/res/source.png) |
flags.pl![Show source Show source](/pldoc/res/source.png) |
form.pl -- Form handling utilities![Show source Show source](/pldoc/res/source.png) |
validate_field/4 | True when Value is a valid value for Field from Dict according to Options. | ![Show source Source](/pldoc/res/source.png) |
validate_form/2 | Run validate_field/4 on all specified fields, combining the error message. | ![Show source Source](/pldoc/res/source.png) |
gitty.pl -- Single-file GIT like version system![Show source Show source](/pldoc/res/source.png) |
data_diff/3 | Diff two data strings line-by-line. | ![Show source Source](/pldoc/res/source.png) |
delete_head/2 | Delete Head from the administration. | ![Show source Source](/pldoc/res/source.png) |
delete_object/2 | Delete an existing object. | ![Show source Source](/pldoc/res/source.png) |
fsck_object/2 | Test the integrity of object Hash in Store. | ![Show source Source](/pldoc/res/source.png) |
gitty_close/1 | Close access to the Store. | ![Show source Source](/pldoc/res/source.png) |
gitty_commit/3 | True if Meta holds the commit data of NameOrHash. | ![Show source Source](/pldoc/res/source.png) |
gitty_create/5 | Create a new object Name from Data and meta information. | ![Show source Source](/pldoc/res/source.png) |
gitty_data/4 | Get the data in object Name and its meta-data. | ![Show source Source](/pldoc/res/source.png) |
gitty_diff/4 | True if Dict representeds the changes in Hash1 to FileOrHash2. | ![Show source Source](/pldoc/res/source.png) |
gitty_driver/2 | Get the current gitty driver. | ![Show source Source](/pldoc/res/source.png) |
gitty_file/3 | True when Hash is an entry in the gitty Store and Head is the HEAD revision. | ![Show source Source](/pldoc/res/source.png) |
gitty_file/4 | True when Hash is an entry in the gitty Store and Head is the HEAD revision. | ![Show source Source](/pldoc/res/source.png) |
gitty_fsck/1 | Check the integrity of store. | ![Show source Source](/pldoc/res/source.png) |
gitty_hash/2 | True when Hash is an object in the store. | ![Show source Source](/pldoc/res/source.png) |
gitty_history/4 | History is a dict holding a key history with a list of dicts representating the history of Name in Store. | ![Show source Source](/pldoc/res/source.png) |
gitty_load/4 | Low level objects store. | ![Show source Source](/pldoc/res/source.png) |
gitty_open/2 | Open a gitty store according to Options. | ![Show source Source](/pldoc/res/source.png) |
gitty_reserved_meta/1 | True when Key is a gitty reserved key for the commit meta-data. | ![Show source Source](/pldoc/res/source.png) |
gitty_save/4 | Low level objects store. | ![Show source Source](/pldoc/res/source.png) |
gitty_update/5 | Update document Name using Data and the given meta information. | ![Show source Source](/pldoc/res/source.png) |
is_gitty_hash/1 | True if Term is a possible gitty (SHA1) hash. | ![Show source Source](/pldoc/res/source.png) |
set_head/3 | Register Head as the Head hash for File, removing possible old head. | ![Show source Source](/pldoc/res/source.png) |
udiff_string/2 | True when String is the string representation of UDiff. | ![Show source Source](/pldoc/res/source.png) |
gitty_driver_bdb.pl -- Gitty BDB driver![Show source Show source](/pldoc/res/source.png) |
delete_head/2 | Delete the named head. | ![Show source Source](/pldoc/res/source.png) |
delete_object/2 | Delete an existing object. | ![Show source Source](/pldoc/res/source.png) |
gitty_close/1 | Close the BDB environment associated with a gitty store. | ![Show source Source](/pldoc/res/source.png) |
gitty_file/3 | True when File entry in the gitty store and Head is the HEAD revision. | ![Show source Source](/pldoc/res/source.png) |
gitty_hash/2 | True when Hash is an object in the store. | ![Show source Source](/pldoc/res/source.png) |
gitty_update_head/4 | Update the head of a gitty store for Name. | ![Show source Source](/pldoc/res/source.png) |
load_object/5 | Load an object given its Hash. | ![Show source Source](/pldoc/res/source.png) |
load_plain_commit/3 | Load the commit data as a dict. | ![Show source Source](/pldoc/res/source.png) |
set_head/3 | Set the head of the given File to Hash. | ![Show source Source](/pldoc/res/source.png) |
store_object/4 | Store the actual object. | ![Show source Source](/pldoc/res/source.png) |
gitty_driver_files.pl -- Gitty plain files driver![Show source Show source](/pldoc/res/source.png) |
attach_pack/2 | Load the index of Pack into memory. | ![Show source Source](/pldoc/res/source.png) |
delete_head/2 | Delete Head from Store. | ![Show source Source](/pldoc/res/source.png) |
delete_object/2 | Delete an existing object. | ![Show source Source](/pldoc/res/source.png) |
fsck_pack/1 | Validate the integrity of the pack file File. | ![Show source Source](/pldoc/res/source.png) |
gitty_close/1 | Close resources associated with a store. | ![Show source Source](/pldoc/res/source.png) |
gitty_file/4 | True when File entry in the gitty store and Head is the HEAD revision. | ![Show source Source](/pldoc/res/source.png) |
gitty_fsck/1 | Validate all packs associated with Store. | ![Show source Source](/pldoc/res/source.png) |
gitty_hash/2 | True when Hash is an object in the store. | ![Show source Source](/pldoc/res/source.png) |
gitty_object_file/3 | True when Path is the file at which the object with Hash is stored. | ![Show source Source](/pldoc/res/source.png) |
gitty_rescan/1 | Update our view of the shared storage for all stores matching Store. | ![Show source Source](/pldoc/res/source.png) |
gitty_update_head/4 | Update the head of a gitty store for Name. | ![Show source Source](/pldoc/res/source.png) |
load_object/5 | Load the given object. | ![Show source Source](/pldoc/res/source.png) |
load_object_from_pack/4 | True when Hash is in a pack and can be loaded. | ![Show source Source](/pldoc/res/source.png) |
load_plain_commit/3 | Load the commit data as a dict. | ![Show source Source](/pldoc/res/source.png) |
pack_objects/6 | Pack the given objects and pack files into a new pack. | ![Show source Source](/pldoc/res/source.png) |
repack_objects/2 | Repack objects of Store for reduced disk usage and enhanced performance. | ![Show source Source](/pldoc/res/source.png) |
set_head/3 | Set the head of the given File to Hash. | ![Show source Source](/pldoc/res/source.png) |
store_object/4 | Store the actual object. | ![Show source Source](/pldoc/res/source.png) |
unpack_pack/2 | Turn a pack back into a plain object files. | ![Show source Source](/pldoc/res/source.png) |
unpack_packs/1 | Unpack all packs. | ![Show source Source](/pldoc/res/source.png) |
help.pl -- SWISH help system![Show source Show source](/pldoc/res/source.png) |
highlight.pl -- Highlight token server![Show source Show source](/pldoc/res/source.png) |
xref_open_source/2 | Open a source. | ![Show source Source](/pldoc/res/source.png) |
config/2 | Provides the object config.swish.style , a JSON object that maps style properties of user-defined extensions of library(prolog_colour). | ![Show source Source](/pldoc/res/source.png) |
css/3 | Multifile hook to define additional style to apply in a specific context. | ![Show source Source](/pldoc/res/source.png) |
current_highlight_state/2 | Return info on the current highlighter. | ![Show source Source](/pldoc/res/source.png) |
server_tokens/1 | These predicates help debugging the server side. | ![Show source Source](/pldoc/res/source.png) |
show_mirror/1 | These predicates help debugging the server side. | ![Show source Source](/pldoc/res/source.png) |
style/3 | Declare that we map StyleIn as generated by library(prolog_colour) into a token of type SWISHType, providing additional context information based on Attributes. | ![Show source Source](/pldoc/res/source.png) |
token_info/3 | Generate HTML, providing details about Token. | ![Show source Source](/pldoc/res/source.png) |
html_output.pl -- SWISH HTML Output![Show source Show source](/pldoc/res/source.png) |
html/1 | Insert HTML into the output. | ![Show source Source](/pldoc/res/source.png) |
html/3 | Sandbox respecting version of html_write:html//1. | ![Show source Source](/pldoc/res/source.png) |
safe_raw_html/1 | Helper for variables in html(\List) . | ![Show source Source](/pldoc/res/source.png) |
include.pl -- Support :- include(File) from SWISH![Show source Show source](/pldoc/res/source.png) |
xref_source_file/3 | Deal with the above expansion for :- include(program) to support the cross-referencer. | ![Show source Source](/pldoc/res/source.png) |
xref_source_identifier/2 | Map swish://file to a file from the gitty store. | ![Show source Source](/pldoc/res/source.png) |
include/2 | Include file at a specific version. | ![Show source Source](/pldoc/res/source.png) |
jquery.pl -- Call jQuery on the SWISH interface![Show source Show source](/pldoc/res/source.png) |
jquery/2 | Run a jQuery query in the SWISH interface. | ![Show source Source](/pldoc/res/source.png) |
jquery/3 | Run a jQuery query in the SWISH interface. | ![Show source Source](/pldoc/res/source.png) |
markdown.pl -- SWISH Notebook markdown support![Show source Show source](/pldoc/res/source.png) |
file/4 | Hook that deals with linking other notebooks using the following markdown syntax:. | ![Show source Source](/pldoc/res/source.png) |
md_eval.pl -- Provide evaluable markdown![Show source Show source](/pldoc/res/source.png) |
swish_provides/1 | True when Term describes a provided feature of the current SWISH instances. | ![Show source Source](/pldoc/res/source.png) |
messages.pl![Show source Show source](/pldoc/res/source.png) |
noble_avatar.pl -- Noble Avatar generator![Show source Show source](/pldoc/res/source.png) |
page.pl -- Provide the SWISH application as Prolog HTML component![Show source Show source](/pldoc/res/source.png) |
logo/3 | Hook to include the top-left logos. | |
pengine_logo/3 | Emit an <a> element that provides a link to Pengines and SWISH on this server. | ![Show source Source](/pldoc/res/source.png) |
swish_content/3 | Generate the SWISH editor, Prolog output area and query editor. | ![Show source Source](/pldoc/res/source.png) |
swish_logo/3 | Emit an <a> element that provides a link to Pengines and SWISH on this server. | ![Show source Source](/pldoc/res/source.png) |
swish_navbar/3 | Generate the swish navigation bar. | ![Show source Source](/pldoc/res/source.png) |
swish_page/3 | Generate the entire SWISH default page. | ![Show source Source](/pldoc/res/source.png) |
swish_reply/2 | HTTP handler to reply the default SWISH page. | ![Show source Source](/pldoc/res/source.png) |
swish_reply_resource/1 | Serve /swish/Resource files. | ![Show source Source](/pldoc/res/source.png) |
swish_resources/2 | Include SWISH CSS and JavaScript. | ![Show source Source](/pldoc/res/source.png) |
patch.pl -- Run patch program![Show source Show source](/pldoc/res/source.png) |
patch/4 | Patch the string Orig using Diff. | ![Show source Source](/pldoc/res/source.png) |
paths.pl -- Setup SWISH search paths![Show source Show source](/pldoc/res/source.png) |
pep.pl -- SWISH PEP (Policy Enforcement Point)![Show source Show source](/pldoc/res/source.png) |
not_sandboxed/2 | Called by Pengines to see whether User may call non-sandboxed operations in Application. | ![Show source Source](/pldoc/res/source.png) |
approve/3 | This hook is called by approve/2 and deny/2 before the default rules. | |
approve/2 | | ![Show source Source](/pldoc/res/source.png) |
authorized/2 | Verify that Action is authorized. | ![Show source Source](/pldoc/res/source.png) |
deny/2 | | ![Show source Source](/pldoc/res/source.png) |
ws_authorized/2 | True when WSUser is allowed to perform action. | ![Show source Source](/pldoc/res/source.png) |
procps.pl![Show source Show source](/pldoc/res/source.png) |
profiles.pl![Show source Show source](/pldoc/res/source.png) |
config/2 | Provides the object config.swish.profiles , a JSON object that provides the available profiles. | ![Show source Source](/pldoc/res/source.png) |
projection.pl -- Define the projection![Show source Show source](/pldoc/res/source.png) |
projection/1 | Specify the result variables. | ![Show source Source](/pldoc/res/source.png) |
render.pl -- SWISH term-rendering support![Show source Show source](/pldoc/res/source.png) |
current_renderer/2 | True when renderer Name is declared with Comment. | ![Show source Source](/pldoc/res/source.png) |
register_renderer/2 | Register a module as SWISH rendering component. | ![Show source Source](/pldoc/res/source.png) |
use_rendering/1 | Register an answer renderer. | ![Show source Source](/pldoc/res/source.png) |
use_rendering/2 | Register an answer renderer with options. | ![Show source Source](/pldoc/res/source.png) |
search.pl -- SWISH search from the navigation bar![Show source Show source](/pldoc/res/source.png) |
match/3 | True if Line matches Query, respecting Options. | ![Show source Source](/pldoc/res/source.png) |
search_box/3 | Render a Bootstrap search box. | ![Show source Source](/pldoc/res/source.png) |
typeahead/4 | Find typeahead suggestions for a specific search category (Type). | ![Show source Source](/pldoc/res/source.png) |
session.pl -- Setup SWISH sessions![Show source Show source](/pldoc/res/source.png) |
storage.pl -- Store files on behalve of web clients![Show source Show source](/pldoc/res/source.png) |
typeahead/4 | Find files using typeahead from the SWISH search box. | ![Show source Source](/pldoc/res/source.png) |
storage_file/1 | ! storage_file_extension(?File, ?Extension) is nondet. | ![Show source Source](/pldoc/res/source.png) |
storage_fsck/0 | Enumerate and check the consistency of the entire store. | ![Show source Source](/pldoc/res/source.png) |
storage_load_term/2 | Add/retrieve terms from the gitty store. | ![Show source Source](/pldoc/res/source.png) |
storage_meta_property/2 | True when Meta has Property. | ![Show source Source](/pldoc/res/source.png) |
storage_repack/0 | Repack the storage directory. | ![Show source Source](/pldoc/res/source.png) |
storage_repack/1 | Repack the storage directory. | ![Show source Source](/pldoc/res/source.png) |
storage_store_term/2 | Add/retrieve terms from the gitty store. | ![Show source Source](/pldoc/res/source.png) |
storage_unpack/0 | Unpack all packed objects of the store. | ![Show source Source](/pldoc/res/source.png) |
use_gitty_file/1 | Load a file from the Gitty store. | ![Show source Source](/pldoc/res/source.png) |
use_gitty_file/2 | Load a file from the Gitty store. | ![Show source Source](/pldoc/res/source.png) |
swish_chr.pl -- Make CHR available in SWISH![Show source Show source](/pldoc/res/source.png) |
swish_csv.pl -- Support CSV output from a Pengines server![Show source Show source](/pldoc/res/source.png) |
write_result/3 | Hook into library(pengines) that makes pengines support CSV output. | ![Show source Source](/pldoc/res/source.png) |
swish_debug.pl![Show source Show source](/pldoc/res/source.png) |
pengine_stale_module/1 | True if M seems to be a pengine module with no associated pengine. | ![Show source Source](/pldoc/res/source.png) |
pengine_stale_module/2 | True if M seems to be a pengine module with no associated pengine. | ![Show source Source](/pldoc/res/source.png) |
stale_pengine/1 | True if Pengine is a Pengine who's thread died. | ![Show source Source](/pldoc/res/source.png) |
start_swish_stat_collector/0 | Start collecting statistical performance information for the running SWISH server. | ![Show source Source](/pldoc/res/source.png) |
swish_died_thread/2 | True if Id is a thread that died with Status and has not (yet) been joined. | ![Show source Source](/pldoc/res/source.png) |
swish_save_stats/1 | Save statistcs to File or the default file. | ![Show source Source](/pldoc/res/source.png) |
swish_statistics/1 | True if State is a statistics about SWISH. | ![Show source Source](/pldoc/res/source.png) |
swish_stats/2 | Get the collected statistics for the given Period. | ![Show source Source](/pldoc/res/source.png) |
template_hint.pl -- Generate template hints for CondeMirror![Show source Show source](/pldoc/res/source.png) |
config/2 | Provides the object config.swish.templates , a JSON object that provides the templates for hinting in CodeMirror. | ![Show source Source](/pldoc/res/source.png) |
predicate_template/2 | | ![Show source Source](/pldoc/res/source.png) |
visible_predicate/3 | True when PI is a plain predicate indicator for a predicate that can be called in Module. | ![Show source Source](/pldoc/res/source.png) |
visible_predicate_templates/3 | True when Templates is a JSON dict holding autocompletion templates for Module. | ![Show source Source](/pldoc/res/source.png) |
trace.pl -- ![Show source Show source](/pldoc/res/source.png) |
prepare_goal/3 | Handle the breakpoints(List) option to set breakpoints prior to execution of the query. | ![Show source Source](/pldoc/res/source.png) |
open_source/2 | Open SWISH non-file sources. | ![Show source Source](/pldoc/res/source.png) |
$swish wrapper/2 | Wrap a SWISH goal in '$swish wrapper'. | ![Show source Source](/pldoc/res/source.png) |
post_context/3 | Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced. | ![Show source Source](/pldoc/res/source.png) |
pre_context/3 | Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced. | ![Show source Source](/pldoc/res/source.png) |
version.pl -- Manage software versions![Show source Show source](/pldoc/res/source.png) |
check_prolog_version/1 | Validate the program is running under Prolog version Required or newer. | ![Show source Source](/pldoc/res/source.png) |
git_module_property/2 | Property is a property of the named git-component. | ![Show source Source](/pldoc/res/source.png) |
prolog_version_atom/1 | Atom describes the current Prolog version. | ![Show source Source](/pldoc/res/source.png) |
register_git_module/2 | Register the directory from which the Prolog file was loaded as a GIT component about which to report version information. | ![Show source Source](/pldoc/res/source.png) |
web.pl -- Serve /plugin![Show source Show source](/pldoc/res/source.png) |