Evgeny Skvortsov
Evgeny Skvortsov
It will take time to implement type inference. In the meanwhile we could have a simpler check: when a predicate is called (including databases) and arguments are used, verify that...
We would like to infer types of arguments of the predicates, including reading types of database columns. Then we can display a native error for the user, rather then compiling...
I am very curious about experience of newcomers with the tutorial. I am sure it can be improved to make onboarding easier.
We should add support for running programs on MySQL database.
Functors in Logica are functions that map named tuples of predicates to a predicate. Currently the only available functors are substitutions. Any predicate can work as a functor. External Functors...
It would be great to do a somewhat rigorous analysis of whether there are performance issues when query is written in Logica vs SQL.
Make programs run on Microsoft SQL server.
What if I need to access a field `p` which is two levels up? Seems like `outer.outer.p` should access it, but I am getting an error. ``` p = "value...
### What happens? Per my understanding notation `-[e:connectoion]->+` should stand for directed paths, but it looks like it ignores edge direction. This isn't intended, right? Thank you! ### To Reproduce...