I am working on something related to probabilistic programming/inference/learning. Not yet ready for use but I hope to get it there the next year. Although some key building blocks are the same (MCMC), I really cannot see how such things could be integrated to core.logic, and even why. So, I would like very much to hear some of the needed use cases for this (without reading hundreds of pages of someone's PhD dissertation, please :)
Can you write a few "hello world" examples of what you would like to see in core.logic related to probabilistic programming? On Friday, November 20, 2015 at 2:51:05 PM UTC+1, Henrik Larsson wrote: > > I have started to play around with ProbLog2 and find the concept of > probabilistic logic programming to be super fun. When googeling miniKanren > and probabilistic logic programming the following came up: > https://github.com/webyrd/probKanren > > So my question now is what are the chances that something like probKanren > getting implemented in core.logic and how advance is probKanren vs > ProbLog2? What im after is the conditional probabilites that ProbLog2 can > handle. > > There are some documentation on core.logic ( > https://github.com/clojure/core.logic/wiki/CLP(Prob)) but it is dated at > 2013 and im not sure what the roadmap is for core.logic or if it even has a > roadmap. > > > Thanks for any input regarding this. > > Best regards Henrik > -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
