Thanks, Dakota and Jason! That was the problem. On Monday, August 6, 2018 at 4:20:58 PM UTC-4, Jason Hemann wrote: > > Hi, > > It could be a fonting issue on my end but to double check, are those > backticks? I think you want a quasiquote there, not a quote. > > Hope that's it. > > JBH > > On Mon, Aug 6, 2018, 16:15 'Jeff Ward' via minikanren < > [email protected] <javascript:>> wrote: > >> Now I am having trouble in Chapter 3. >> >> > (run* x (listo '(a b c . ,x))) >> '(_0) ; According to Section 3:12, this should have no value >> > (run 1 x (listo '(a b c . ,x))) >> '(_0) ; Also looks wrong to me >> > (run 1 x (listo '(a b c . d))) >> '() ; But this seems correct >> >> In order to get the above to evaluate, I added the following to >> trs2-impl.scm: >> #lang racket ; at the beginning >> ... >> ; ... then these lines from The Reasoned Schemer 2nd ed to the end of the >> file: >> ; 2:5 >> (defrel (caro p a) >> (fresh (d) >> (== (cons a d) p))) >> >> ; 2:13 >> (defrel (cdro p d) >> (fresh (a) >> (== (cons a d) p))) >> >> ; 2:33 >> (defrel (nullo x) >> (== '() x)) >> >> ; 3:8 >> (defrel (listo l) >> (conde >> ((nullo l)) >> ((fresh (d) >> (cdro l d) >> (listo d))))) >> >> >> Thanks for any help that you can give! >> >> On Thursday, June 14, 2018 at 5:59:51 PM UTC-4, William Byrd wrote: >>> >>> w00t! :) >>> >>> On Thu, Jun 14, 2018 at 4:59 PM, 'Jeff Ward' via minikanren >>> <[email protected]> wrote: >>> > Yes, works like a charm. Thanks! >>> > >>> > -- >>> > 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> 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.
