Yes, that's the expected behavior. Are you having trouble installing/running Racket, or trouble running the microKanren code in Racket?
On Tue, Feb 24, 2015 at 7:33 AM, Sandro Magi <[email protected]> wrote: > Thanks, I can see it running forever, but it runs without producing any > output, correct? I would try these examples on an install of Racket with the > minikanren library, but I just can't get it working. > > Sandro > > On Monday, 23 February 2015 13:49:59 UTC-5, William Byrd wrote: >> >> Hi Sandro! >> >> I think replacing the disj with conj should lead to divergence >> (looping forever) for this example. That is, the computation will run >> forever. >> >> Is this right, Jason and Dan? >> >> Cheers, >> >> --Will >> >> On Mon, Feb 23, 2015 at 11:41 AM, Sandro Magi <[email protected]> wrote: >> > I'm aware of the existing implementation on github, but as a translation >> > from a Scheme implementation it's not very idiomatic. I have a much >> > simpler >> > implementation written, but I'm not sure of one of the test results. >> > What is >> > the expected output of the following tweaked example from the paper [1]: >> > >> >> (defi ne ( fives x) (disj (≡ x 5) .(λg (s/c) (λ$ () (.( fives x) >> >> .s/c))).)) >> >> (defi ne (sixes x) (disj (≡ x 6) (λg (s/c) (λ$ () ((sixes x) s/c))))) >> >> (defi ne fives-xor-sixes (call/fresh (λ (x) (conj ( fives x) (sixes >> >> x))))) >> >> (fi ves-xor-sixes empty-state) >> > >> > This is the fives-and-sixes example, replacing a disj with conj. I would >> > expect this to produce no results, is that correct? >> > >> > Sandro >> > >> > [1] http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf >> > >> > -- >> > 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 http://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 http://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 http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
