The Prolog Trinity portal

Tutorials

Web Prolog code

Statechart XML (SXML)

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

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

Font

Family

Size

Weight

Display

Show splash screen on startup

Theme

Code coloring

Web Prolog code

Statechart XML

Terminal

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.

Extra newline after query

Insert a blank line after each completed query.

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 }}

Fetching node config and principal policy.

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

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

Trinity demonstrator