Eyeprolog: Turning Prolog programs into answers and inspectable proofs

(github.com) by simonpure | Sep 2, 2026 | 0 comments on HN