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]> 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]. > 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.
