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] > <javascript:>> 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] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > 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.
