Would you like to show some examples?

[wuxianliang]

Dear @webyrd I was reading << Seasoned Schemer >> these days. Make a joke that maybe we have << Probabilistic Schemer >> after << Reasoned Schemer >>. It is a surprise that actually we have.

Would you like to give some examples or any plan to show what probKanren can do or what probKanren aim to do in Readme?

Thank you very much!

[webyrd]

Hi @wuxianliang

Actually, I think 'The Seasoned Reasoned Schemer' should come first! ;)

We are still working on getting the prototype implementation of probKanren working correctly, but it seems that we are close to being able to run real tests. I hope we can start writing a readme with working examples within a week or so.

Thanks for your interest! :)

[wuxianliang]

Thank you for the response and this WORK!

I just found there are others working on probabilistic projects.

like Bayeslite a probabilistic Sqlite. https://github.com/mit-probabilistic-computing-project/bayeslite Church a probabilistic Scheme. https://github.com/probmods/webchurch Webppl a probabilistic JavaScript. https://github.com/probmods/webppl

I hope some of them can work in real which would simplify probabilistic jobs.

[webyrd]

We made more progress this weekend, and are getting closer to a working prototype. :)

Other references to probabilistic programming you might find interesting:

http://dippl.org/

http://indiana.edu/~ppaml/HakaruTutorial.html

Cheers,

--Will

On Mon, Feb 23, 2015 at 11:11 AM, Xianliang Wu notifications@github.com wrote:

Thank you for the response and this WORK!

I just found there are others working on probabilistic projects.

like Bayeslite a probabilistic Sqlite. https://github.com/mit-probabilistic-computing-project/bayeslite Church a probabilistic Scheme. https://github.com/probmods/webchurch Webppl a probabilistic JavaScript. https://github.com/probmods/webppl

I hope some of them can work in real which would simplify probabilistic jobs.

— Reply to this email directly or view it on GitHub https://github.com/webyrd/probKanren/issues/1#issuecomment-75597925.

[amirouche]

Anyway updates?

Best regards.

[webyrd]

Hi! We ran into an issue with conditioning of recursive goals. We're trying to figure out how to best handle recursion---we hope to have some cool examples to show soon!

[Cartman0]

Hi ! i think that this paradigm is related (just Kanren) quantum computer and annealing. are there example or paper?