datalog

Huahai 2020-08-04T19:12:26.046500Z

i think asami implemented the proper query algorithm

Huahai 2020-08-04T19:14:08.048200Z

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

Huahai 2020-08-04T19:16:15.049200Z

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