Perhaps this was an overly-skeptical perspective. Datalog (as featured in Crux) has certainly existed as a concept for a long time, although it hasn't (as far

Perhaps this was an overly-skeptical perspective. Datalog (as featured in Crux) has certainly existed as a concept for a long time, although it hasn't (as far as I can tell) seen popular uptake.