Logica, a novel open-source logic programming language
I have a hard time understanding what problem this solves versus SQL?This really should have demonstration of some of the actual use cases where this shines vs SQL.Also: SQL-92 has values clause which makes the example provided a little bit silly, you could just use    values (2),(3),(5)

Another example they gave is a 5-line (excluding imported code) mocking code with a comment "compare that to what you would have to do to achieve the same using bare SQL". Okay..    select * from (values (1, 'hello'), (2, 'logic'), (3, 'programming')) as mocktable(user_id, comment);