Logica, a novel open-source logic programming language
Maybe I&#x27;m missing something, but why don&#x27;t query languages allow for sum types and pattern matching? Why is it so hard to express in SQL a table that can contain either this schema or that schema?