Yay! :) On Wed, Feb 25, 2015 at 7:20 AM, Sandro Magi <[email protected]> wrote: > The Racket install went fine, it was running miniKanren [1] that didn't work > on Windows 64 bit. Anyway, I fixed my implementation so I don't need it to > verify the semantics anymore. Thanks! > > Sandro > > [1] > https://github.com/miniKanren/Racket-miniKanren/wiki/How-to-Install-as-a-Package-from-Dr.-Racket > > On Tuesday, 24 February 2015 16:49:19 UTC-5, William Byrd wrote: >> >> 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.
-- 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.
