Yes, looks like SQL got that right as well.

I think Prolog is the answer to the question: What if the full stack was relational; not just the database?