Eyeprolog: Turning Prolog programs into answers and inspectable proofs

Write your take first — we'll ask for email only when you're ready to publish.