LE Editor

Scan to open this document.

The answers are the smallest sets of scenario facts to add or remove that make it so, each with the proof it then has. The flip runs on the selected scenario, as a custom query you can edit and run again.

The document is fetched and loaded into the editor. Its includes these resources: with relative paths resolve against the URL's location.

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).

When on, the important reason for a failed query lists all of the deepest failed conditions ("it is not the case that X, nor that Y, nor that Z"), truncated after the third, instead of just the first.