https://hackerpaper.kaipfister.de/p/2411.14330/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=45838020urn:hackerpapers:mention:2411.14330:45838020Thu, 06 Nov 2025 17:50:23 GMT<p>&gt; - I had worse performance with Soufflé than Ascent for my program for some query-planning reason that I couldn&#x27;t figure out. I don&#x27;t really know why; see https://github.com/souffle-lang/souffle/discussions/2557 I think the basic issue is that ADTs are simply not indexed--so to the degree that you write a query that would necessitate an index on a subtree of an ADT, you will face asymptotic blowup, as the way ADTs work will force you to scan-then-test across all ADTs (associated with that top-level tag). The issue is discussed in Section 5.2 of this paper here…</p><p><a href="https://hackerpaper.kaipfister.de/p/2411.14330/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DB