The eyecode Playground

Write rules in JavaScript or try an example with eyecode.

Version …

Input

Edit the program above, choose an example, or load a URL. Loading replaces the input.

Output --goal GOAL --max-depth N --max-inferences N

--strict-proof --json --stats

eyecode -