The eyedia Playground

Eyedia — reasoning you can see.

Write facts and rules, see what follows, and check the proof of every conclusion — in your browser. What is eyedia?

⚙ Advanced configuration
No background knowledge loaded.

Background knowledge is prepended to the editor when the program runs. Exceeding a bound stops the run with an error rather than returning a partial closure.

Program custom program
Ctrl+Enter runs. A goal here replaces the program's own true :+ Goal. questions.
Output Idle. 
(no output yet)
Ready. eyedia

Serve the checkout over HTTP to use the playground — for example npx serve . or python3 -m http.server — then open /playground/, or use the hosted copy at eyereasoner.github.io/eyedia/playground. Browsers do not run module workers or load examples from file://.