6 ms·Eyeprolog: Turning Prolog programs into answers and inspectable proofs4 points by simonpure 14d ago