Fork me on GitHub
#datalog
<
2020-08-04
>
Huahai19:08:26

i think asami implemented the proper query algorithm

Huahai19:08:08

looks at the code, there’s not a lot of low level optimizations, but it is still much faster than datascript, meaning asami’s algorithms are correct, whereas datascript’s maybe too naive

Huahai19:08:15

e,g, i don’t remember seeing projection operation in datascript