Re:Learn Datalog Today
by persnickety on Sunday January 21, 2024 @12:55PM
(#39080780)
Cozo uses Datalog for queries, and has several backends, including SQLite
[ Parent
| on HN ]
Re:Learn Datalog Today
by cmrdporcupine on Sunday January 21, 2024 @01:34PM
(#39081275)
Cozo is very attractive. I just wish there was a native Rust DSL API for it, so it could be embedded in Rust programs without using datalog queries in strings.
Re:Learn Datalog Today
by soraki_soladead on Sunday January 21, 2024 @02:08PM
(#39081737)
https://github.com/cozodb/pycozo/blob/main/pycozo/test_build...
Here's the python version of what I think you're looking for. Shouldn't be too difficult to port to rust.
Re:Learn Datalog Today
by cmrdporcupine on Sunday January 21, 2024 @02:26PM
(#39081981)
ok but that's not what i want.
the thing is written in Rust. but does not expose a Rust query API, you have to query it through Datalog queries in strings; what you shared there just builds those strings from python.. it'd be nice to have a directly native API, with horne clauses constructed in Rust.