https://hackerpaper.kaipfister.de/p/1805.00068/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=27383698urn:hackerpapers:mention:1805.00068:27383698Thu, 03 Jun 2021 16:27:10 GMT<p>&gt;&gt; 3) all predicates work in all-modes, all the time I think this is the feature that is the most sorely missed in Prolog programming and as you say it is possible to have it, but only if one is prepared to jump through no end of hoops. Sometimes it&#x27;s just not possbile with any reasonable amount of effort and any sensible amount of coding. This feature is also the one most characteristic of relations, rather than functions, or the demi-functions that Prolog predicate definitions end up as (i.e. with more or less standard inputs and outputs, a.k.a. modes). I think I detect a hint of…</p><p><a href="https://hackerpaper.kaipfister.de/p/1805.00068/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO