In your queries, are those quotes supposed to be quotes (') or are they
supposed to be quasiquotes (`)?On 08/06/18 20:15, 'Jeff Ward' via minikanren 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] <javascript:>> 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] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at https://groups.google.com/group/minikanren > <https://groups.google.com/group/minikanren>. > > For more options, visit https://groups.google.com/d/optout > <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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[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.
