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

ugh

so it's not really turing complete

and nobody uses those

but only with function symbols

datalog is turing complete

wait no

because it's not turing complete

so why isn't everyone using datalog

but still declarative

because it's stratified

it's like prolog but without the loops

okay but what about datalog

like a train wreck

but also kind of cool

prolog is a nightmare

i'm just saying

wait what's that supposed to mean

😂

so prolog is just haskell with more bugs

then yeah

but if it's not

it won't loop forever

if the rule is well-founded

*their

even if the answer is finite

it can loop forever

like if you have a rule that calls itself

so evaluation order is... weird

it's logic programming

okay but what about prolog