PublicShow sourceswish.pl

Source swish_config:config(?Config, ?Value) is nondet[multifile]
All solutions of this predicate are available in the JavaScript object config.swish.config. Config must be an atom that is also a valid JavaScript identifier. Value must be a value that is valid for json_write_dict/2. Defined config parameters:
show_beware
If true, show the Beware modal dialog on startup
tabled_results
If true, check the table results checkbox by default.
application
Name of the Pengine application.
csv_formats
CSV output formats offered. For example, ClioPatria defines this as [rdf,prolog]. The first element is default.
community_examples
Allow marking saved programs as example. If marked, the programs are added to the Examples menu.
public_access
If lib/authenticate.pl is loaded and this flag is true, all access to SWISH demands authentication. If false, only running queries and saving files is restricted. Note that this flag has no effect if no authentication module is loaded.
include_alias
Alias for searching files for `:- include(Alias(Name)).`
ping
Ping pengine status every N seconds. Updates sparkline chart with stack usage.
notebook
Dict holding options for notebooks:
eval_script
Whether or not to evaluate JavaScript in cells
fullscreen
Whether or not to start in fullscreen mode by default
fullscreen
Dict holding options for fullscreen mode:
  • hide_navbar: hide the navigation bar when in fullscreen mode.
chat
Activate the chat interface
chat_spam_protection
Perform protection against spamming on chat messages.
default_query
Initial query for the source search in an empty tab

These config options are commonly overruled using one of the configuration files. See config-available and config-enabled directories.

The defaults below are for small installations. See config-available/dim_large.pl for a default config for large communities.

Source swish_config:source_alias(Alias, Options) is nondet[multifile]
Specify access for files below a given alias. Options define
access(Access)
One of read or both. Default is read.
if(Condition)
Provide additional conditions. Defined conditions are:
loaded
Only provide access to the file if it is loaded.