4 ms·
Yeah, I think that minikanren is a more useful language for embedding than datalog since it is more expressive than datalog and has a more straight forward exe
by slaymaker1907 6y ago
Yeah, I think that minikanren is a more useful language for embedding than datalog since it is more expressive than datalog and has a more straight forward execution model. The functional style of minikanren makes it easier to create things like parsers easily.
- adenozine 6y agoInteresting! I suppose it depends on the context though, right? For answer-set programming like database queries and stuff, I've seen some impressive datalog work done in the past. I'm not well versed in the extensions, and I actually haven't been able to read this post yet, I've been at work since the wee hours, but I was thinking of the success of Datomic. I believe that's datalog under the hood. I think of miniKanren as relentlessly general purpose, and not so much suited to a demanding niche like databases. I'm very interested in both. I remember watching a talk called The Promise Of Relational Programming a while back and thinking "this HAS to be the future of programming."