# Is there a Datalog library in Julia?

**URL:** https://discourse.julialang.org/t/is-there-a-datalog-library-in-julia/11837
**Category:** General Usage
**Created:** [June 21, 2018, 3:05am UTC](https://discourse.julialang.org/t/is-there-a-datalog-library-in-julia/11837 "2018-06-21T03:05:01Z")
**Posts on this page:** 4
**Page:** 1

<div class="post-metadata">

### Author: ![gabomgp](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/gabomgp/32/1918_2.png) [@gabomgp](https://discourse.julialang.org/u/gabomgp)
#### Post date: [June 21, 2018, 3:05am UTC](https://discourse.julialang.org/t/is-there-a-datalog-library-in-julia/11837/1 "2018-06-21T03:05:01Z")

</div>

I’m thinking about using [Datalog](https://en.wikipedia.org/wiki/Datalog) for a problem I have at hand. Is there a Datalog library implemented in Julia, a la [pyDatalog](https://sites.google.com/site/pydatalog/Online-datalog-tutorial)?

---

<div class="post-metadata">

### Author: ![oxinabox](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/oxinabox/32/206603_2.png) [@oxinabox](https://discourse.julialang.org/u/oxinabox)
#### Post date: [June 21, 2018, 7:13am UTC](https://discourse.julialang.org/t/is-there-a-datalog-library-in-julia/11837/2 "2018-06-21T07:13:47Z")

</div>

idk about Datalog,  
but some people have been playing around with microkanren, (a la logpy in python).  
Not sure if either of these are current:

[https://github.com/latticetower/MuKanren.jl](https://github.com/latticetower/MuKanren.jl)

[https://github.com/habemus-papadum/LilKanren.jl](https://github.com/habemus-papadum/LilKanren.jl)

---

<div class="post-metadata">

### Author: ![RAbraham](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/rabraham/32/6066_2.png) [@RAbraham](https://discourse.julialang.org/u/RAbraham)
#### Post date: [February 15, 2019, 7:43pm UTC](https://discourse.julialang.org/t/is-there-a-datalog-library-in-julia/11837/3 "2019-02-15T19:43:49Z")

</div>

Just wanted to add my buggy but mostly there MicroKanren learning attempt to the above list. It’s not an exact implementation. It is more inspired by [1]

> **[GitHub - RAbraham/MiniKanren: MiniKaren in Julia(For now, only MicroKanren)](https://github.com/RAbraham/MiniKanren)**
>
> MiniKaren in Julia(For now, only MicroKanren). Contribute to RAbraham/MiniKanren development by creating an account on GitHub.

[1] - [microLogic](https://mullr.github.io/micrologic/literate.html)

---

<div class="post-metadata">

### Author: ![Xuan](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/xuan/32/22100_2.png) [@Xuan](https://discourse.julialang.org/u/Xuan)
#### Post date: [March 2, 2020, 12:59pm UTC](https://discourse.julialang.org/t/is-there-a-datalog-library-in-julia/11837/4 "2020-03-02T12:59:42Z")

</div>

@gabomgp Maybe you no longer have a use case, but I recently wrote a Prolog-like logic programming library called [Julog.jl](https://github.com/ztangent/Julog.jl) that should be able to parse and reason with Datalog input! Check out the package announcement [here](https://discourse.julialang.org/t/ann-julog-jl-prolog-style-logic-programming-in-julia/35400). It’s almost certainly not going to be as fast as a dedicated Datalog implementation, but should be fine for small-to-medium database sizes.
