Google has unveiled the open source Logica programming language, a logic programming language designed to “solve problems of SQL” by using syntax of mathematical propositional logic rather ...