On Tue, May 31, 2011 at 1:10 PM, Ambrose Bonnaire-Sergeant <
abonnaireserge...@gmail.com> wrote:
> From the paper:
>
> We use conde to get several values--syntactically, conde looks like cond
>> but
>> without => or else.
>
>
> What does it mean by "get" several values?
>
> Thanks,
> Ambrose
>
U
On Tue, May 31, 2011 at 1:02 PM, Ambrose Bonnaire-Sergeant <
abonnaireserge...@gmail.com> wrote:
> user=> (run 2 [q]
> (exist [x y z]
>(conde
> ((== (x y z x) q))
> ((== (z y x z) q)
>
You have to take note of the forma
Whoops, I forgot to translate the literal list syntax to [] vector syntax.
user=> (run 2 [q]
(exist [x y z]
(conde
((== [x y z x] q))
((== [z y x z] q)
([_.0 _.1 _.2 _.0] [_.0 _.1 _.2 _.0])
Still puzzled at the semantics
