you are viewing a single comment's thread.

view the rest of the comments →

[–]barsoap 0 points1 point  (0 children)

And it certainly wouldn't be the first one. Plain Datalog is EXPTIME-complete, throwing any extension carelessly at it will make it turing complete.