Comment by ggleason

Yeah, it's really unfortunate that these amazing advances in datalog don't make it into general purpose languages.