Just sharing the idea.
It would be nice, to mix core.logic matche/a/u support functions in the
match:
(matche [x]
([(->SomeRecord _ )])
([(some-function-that-build-a-structure ?a ?b ?c)]))
This should compile into:
(conde
([(== x (->SomeRecord (lvar)))])
([(fresh [?a ?b ?c]
(== x (some-function-that-build-a-structure ?a ?b ?c))]))
Cheers.
--
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.
