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
