The peye Playground

peye — reasoning you can see.

Write facts and rules in Python, see what follows, and check the proof of every conclusion — in your browser. What is peye? · Run the conformance suite

⚙ 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 query(...) questions.
Output Idle. 
(no output yet)
Ready. peye

peye runs in this page as Python, through Pyodide; the first run waits a few seconds while Python starts. Serve the checkout over HTTP to use the playground — for example python3 -m http.server — then open /playground/, or use the hosted copy at eyereasoner.github.io/peye/playground. Browsers do not run workers or load examples from file://.