Hi David ! Thanks for the response :D.
Maybe my question was broader than core.logic. Guess i have to
revisit the cKanren paper.
I have a use case(but maybe i doing thing the odd way) were i want to
"delay a goal" more than constraining a lvar.
(defna mapo [rel xxs yys]
([_ () ()])
([_ (x .xs) (y . ys)]
(rel x y)
;; delayed when tail diverge
(conda [(lvaro ys)
(addcg (constraint-var ys #(mapo rel xs %)))]
[(lvaro xs)
(addcg (constraint-var xs #(mapo rel % ys)))]
[(mapo rel xs ys)])))
Thanks, Paulo.
On Monday, March 6, 2017 at 3:44:55 PM UTC-3, David Nolen wrote:
>
> This is by design far as I know, this was lifted from cKanren.
>
> David
>
> On Mon, Mar 6, 2017 at 11:27 AM, Paulo César Cuneo <[email protected]
> <javascript:>> wrote:
>
>> Hi There!
>> I see in core.logic constraints cant return "choice", because
>> run-constraint uses composeg* instead of bind*.
>> Out of curiosity, is this a design desicion, any reason for no supporting
>> it?
>>
>> Cheers, Paulo.
>>
>> --
>> 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.
