3 ms·
Datalog does not use backtracking, and is getting ever increasingly more popular. See: - The fastest non-incremental embedded Datalog engine https://github.co
by rebanevapustus 2y ago
Datalog does not use backtracking, and is getting ever increasingly more popular.
See:
- The fastest non-incremental embedded Datalog engine https://github.com/s-arash/ascent https://github.com/s-arash/ascent
- The state-of-the-art non-embedded and non-incremental Datalog engine https://github.com/knowsys/nemo https://github.com/knowsys/nemo
- A python library that contains an embedded incremental Datalog engine https://github.com/brurucy/pydbsp https://github.com/brurucy/pydbsp
- A Rust library that provides a embedded incremental Datalog engine over property graphs https://github.com/brurucy/materialized-view https://github.com/brurucy/materialized-view
- lapinot 2y agoDatalog is a nice query language but it is far more limited than prolog or general purpose logic programming.
- convolvatron 2y agothere is a really interesting space between queries and prolog which includes mundane junk like encoding and rendering and data formatting changes that benefits in evaluation from having less power but maintains the lovely expressibility and analysis that we get from 'real' logic programming. there's lots of exploring left to do
- rebanevapustus 2y agoThat's why embedded Datalog is so good. You can delegate all that to the host language.