20 ms·
> Datalog is a subset of prolog, which is not Turing-complete. I wouldn't normally object to a misplaced comma on HN, but in this case it is potentially very c
by ScottBurson 11y ago
> Datalog is a subset of prolog, which is not Turing-complete.
I wouldn't normally object to a misplaced comma on HN, but in this case it is potentially very confusing. This sentence as written says that Prolog is not Turing complete, but actually it is; it's Datalog that is not Turing-complete. (I'm sure that was the intent.)
- richard_todd 11y agoAbsolutely: Datalog is the one that is not Turing-complete. Thanks for pointing this out. I typed it on my phone and should have proofread it better. I'd remove the comma, but I think HN doesn't let me edit a post after a timeout.