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
Hi,
I'm playing around with the latest commit on core.logic with Clojure 1.2.1.
There's a snippet of minikanren in the paper "Relational Programming in
miniKanren: Techniques, Applications, and Implementations"
that I'm having trouble translating.
(Page 13, http://pqdtopen.proquest.com/#abstract
