Alas, there isn't documentation on probKanren right now. There have been *two* versions of probKanren--Rob and I did at least one complete rewrite of the system. The problem we ran into with the second version of probKanren, which otherwise seemed promising, was with recursion. Apparently it is not clear how to calculate the probability distributions for recursive programs with the approach we are using. A couple people at Indiana University were working on exactly this problem, but apparently that work is no longer ongoing.
Until we have a story with recursion I'm not sure how we can proceed productively, since the interesting miniKanren programs all involve recursion. On Mon, Jul 24, 2017 at 1:31 PM, Amirouche Boubekki <[email protected]> wrote: > AFAIK it's still WIP > > > On Sunday, July 23, 2017 at 11:22:23 PM UTC+2, Francesco Bellomi wrote: >> >> Hi, >> >> is there any public documentation about probKanren? >> https://github.com/webyrd/probKanren >> >> The public github repository has no documentation, >> I would be interested in papers, implementation notes, commented examples, >> and so on. >> >> thanks in advance, >> Francesco > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
