Trinity demonstrator

Your portal to the Prolog Web

Browser node

{{ browser.label }}

Remote nodes

Discovery Hub {{ node.label }}

Welcome

Trinity demonstrator {{ portalVersionLabel }}

Runs in your browser, talks to a real Prolog node or to a browser-based runtime system.

Book manuscript HTML manual Git repo

Powered by SWI-Prolog {{ portalSwiplVersion || "version unavailable" }} https://www.swi-prolog.org

Don't show this again.

Examples

Tutorials

{{ profileTutorial.label }}
{{ profileTutorial.apiLabel }}
{{ profileTutorial.behaviourLabel }}

Web Prolog code

{{ example.name }}

SXML code

{{ example.name }}

{{ !hasEditorPane || workspaceTab === 'tutorial' ? 'Tutorial' : 'Editor' }}

{{ editorPanelTitle }}

Terminal

{{ isBrowserSwiWasmMode ? 'Runtime' : 'Node' }}: {{ nodeProfileLabel }}

Principal: {{ principalSummaryLabel }}

Auth: {{ nodeAuthLabel }}

Logger

{{ entry.time }} · {{ logKindLabel(entry) }}

{{ formatLoggerMessage(entry) }}

{{ filter.label }}

{{ overlayTitle }}

Manual

Load source from Examples, edit it in the main pane, and run everything from the terminal. The full manual is embedded below.

Book manuscript Git repo

Browser node

SWI-WASM execution model

Font

Family

Size

Weight

Display

Show splash screen on startup

Theme

Code coloring

Web Prolog code

SXML code

Terminal

Show exception terms

Show context-elided Prolog exception terms instead of concise diagnostics.

Hide local node in pid

Show local pids as Id instead of Id@Node in terminal output and logger rows.

Show welcome message

Controls whether the terminal greets the user when it is initialized.

Show system information

Show muted terminal notices about runtime loading, source loading, profile changes, and session replacement.

Extra newline after query

Insert a blank line after each completed query.

Convert URLs to links

Make URLs in terminal output and echoed commands clickable.

Highlight Web Prolog predicates

Show Web Prolog-specific built-in predicate calls and predicate indicators from the manual in bold green in the Terminal and tutorials. Web Prolog code coloring applies the same emphasis in the Examples editor.

{{ adminStatusMessage }}

Node Admin

These controls affect only the current node runtime and write through to the backend admin API immediately.

They are not persisted across node restarts. Restarting the node restores the startup options unless you change those separately.

Principal: {{ principalSummaryLabel }} Node profile: {{ nodeProfileLabel }} Auth: {{ nodeAuthLabel }}

Loading

Fetching node config and principal policy.

Admin Access Required

The current principal does not have the admin capability on this node.

Admin API Error

The demonstrator could not load the admin data for this node.

Inspired by Erlang, powered by SWI-Prolog.

Profile: {{ nodeProfileLabel }} | Principal: {{ principalSummaryLabel }} | Auth: {{ nodeAuthLabel }}