4 ms·

> ...or why one should use it over plain Datalog... I have been looking for examples of how to use a practical implementation of Datalog for years and the clos

by cpdean 5y ago

> ...or why one should use it over plain Datalog... I have been looking for examples of how to use a practical implementation of Datalog for years and the closest I've come to is actually miniKanren instead. Could you point me to codebases that productively use Datalog internally?

RBerenguel 5y ago
What example with miniKanren have you found? This is an area I have a passing interest but never find the time to delve deep enough to find anything shiny enough
- cpdean 5y ago
  The most interesting open source example I have found is a hy-lang minikanren that implements a tree-rewriter which lets you encode equivalent implementations of code snippets. It's a code-linter that will automatically simplify code you write via higher-level rules written in mk https://github.com/algernon/hydiomatic https://github.com/algernon/hydiomatic I've heard informally there are many companies relying on clojure/core.logic to rewrite complicated business rules for the sake of filtering and constraint solving problems in applications, but I do not know of any open source examples to reference. edit: i accidentally linked to a dependency of the project i meant to link to. originally linked to the mk implementation: https://github.com/algernon/adderall https://github.com/algernon/adderall
  - RBerenguel 5y ago
    Thanks!
hcarvalhoalves 5y ago
Datomic: https://docs.datomic.com/cloud/query/query-data-reference.html https://docs.datomic.com/cloud/query/query-data-reference.ht... Datascript: https://github.com/tonsky/datascript https://github.com/tonsky/datascript Crux: https://opencrux.com/main/index.html https://opencrux.com/main/index.html
- ghusbands 5y ago
  I feel your parent post was probably looking for software that successfully uses datalog to fetch/query its data, not one that provides data through datalog. User, not provider.
  - cpdean 5y ago
    Yep, thanks! I'm well aware of datomic family databases, but it's the part about solving interesting problems with them that interests me, not that someone has implemented another one ;)
    - rafaelferreira 5y ago
      Have you seen this presentation about NuBank's usage of datomic https://youtu.be/7lm3K8zVOdY https://youtu.be/7lm3K8zVOdY ?
kovvy 5y ago
Souffle: https://github.com/souffle-lang/souffle https://github.com/souffle-lang/souffle Used by projects such as Doop: https://bitbucket.org/yanniss/doop https://bitbucket.org/yanniss/doop and Ddisasm: https://github.com/grammatech/ddisasm https://github.com/grammatech/ddisasm

by cpdean 5y ago

RBerenguel 5y ago

What example with miniKanren have you found? This is an area I have a passing interest but never find the time to delve deep enough to find anything shiny enough

cpdean 5y ago
The most interesting open source example I have found is a hy-lang minikanren that implements a tree-rewriter which lets you encode equivalent implementations of code snippets. It's a code-linter that will automatically simplify code you write via higher-level rules written in mk https://github.com/algernon/hydiomatic https://github.com/algernon/hydiomatic I've heard informally there are many companies relying on clojure/core.logic to rewrite complicated business rules for the sake of filtering and constraint solving problems in applications, but I do not know of any open source examples to reference. edit: i accidentally linked to a dependency of the project i meant to link to. originally linked to the mk implementation: https://github.com/algernon/adderall https://github.com/algernon/adderall
- RBerenguel 5y ago
  Thanks!

hcarvalhoalves 5y ago

Datomic: https://docs.datomic.com/cloud/query/query-data-reference.html https://docs.datomic.com/cloud/query/query-data-reference.ht... Datascript: https://github.com/tonsky/datascript https://github.com/tonsky/datascript Crux: https://opencrux.com/main/index.html https://opencrux.com/main/index.html

ghusbands 5y ago
I feel your parent post was probably looking for software that successfully uses datalog to fetch/query its data, not one that provides data through datalog. User, not provider.
- cpdean 5y ago
  Yep, thanks! I'm well aware of datomic family databases, but it's the part about solving interesting problems with them that interests me, not that someone has implemented another one ;)
  - rafaelferreira 5y ago
    Have you seen this presentation about NuBank's usage of datomic https://youtu.be/7lm3K8zVOdY https://youtu.be/7lm3K8zVOdY ?

kovvy 5y ago

Souffle: https://github.com/souffle-lang/souffle https://github.com/souffle-lang/souffle Used by projects such as Doop: https://bitbucket.org/yanniss/doop https://bitbucket.org/yanniss/doop and Ddisasm: https://github.com/grammatech/ddisasm https://github.com/grammatech/ddisasm