Thanks to Tom: Mistake in "(== q 'IN-ZONE)". Must be "(l/== q 'IN-ZONE)"
By the way. Can anybody recommend comprehensive documentation on core.logic
and its API, with examples and so on? All I have found is sketchy and
fragmentary..
суббота, 11 сентября 2021 г. в 20:15:50 UTC+3, ru:
> Dear cl
On Sun, Jun 30, 2013 at 12:58 PM, Steven Devijver wrote:
> How does one recognize a relational or non-relational goal?
If you are using anything that doesn't decompose down to the core
relational operators, like == and conde, you are likely non-relational. In
this case, you are asking question
How does one recognize a relational or non-relational goal?
Thanks for the fd example.
On Sunday, June 30, 2013 7:34:58 PM UTC+2, Norman Richards wrote:
>
> What you are trying to do is non-relational, and will only work when you
> put the non-relational pluso at the end.
>
> You can obviously
What you are trying to do is non-relational, and will only work when you
put the non-relational pluso at the end.
You can obviously use the finite domain extensions to core.logic to
accomplish this:
(defn fd-pluso [t1 t2 s]
(fd/eq (= s (+ t1 t2
(run* [q]
(fresh [a]
(fd/in q a (fd/int
