LE Editor

Keys and preferences are stored in your browser's local storage.

This prefix is prepended to failed nodes when copying explanations to plain text or HTML.

When on, a failed predicate with several rules shows an intermediate node per rule (navigable to that rule), with each rule's failed sub-goals beneath it. Slower; off by default.

When on (the default), a sub-explanation that occurs several times in a success or failure explanation is shown once and tagged with its count. Turn off to see every occurrence in full (larger trees).