Evaluation order and nontermination in query languages

Submitted ⁨⁨2⁩ ⁨hours⁩ ago⁩ by ⁨rssbot@lemmy.bestiver.se [bot]⁩ to ⁨lobsters@lemmy.bestiver.se⁩

https://www.rntz.net/post/2026-06-11-datalog-nontermination.html