SQL itself is a reinvention of Prolog, poorly. Its core value is that we're stuck with it.