Correctness and completeness of logic programs · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1412.8739/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTCorrectness and completeness of logic programs — mentioned by throwaway000002https://news.ycombinator.com/item?id=12493616urn:hackerpapers:mention:1412.8739:12493616Wed, 14 Sep 2016 01:22:49 GMT<p>I&#x27;m sorry I know nothing about core.logic. However, if you are familiar with Prolog, and sufficiently motivated to work through cited references, this paper is a good place to start. [1] [1] https://arxiv.org/abs/1412.8739</p><p><a href="https://hackerpaper.kaipfister.de/p/1412.8739/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO