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