Eyeprolog: Turning Prolog programs into answers and inspectable proofs

3 points | by simonpure 7 hours ago