Can Datalog, a programming language from the 1970s, cure modern A.I.'s Achilles Heel | Fortune