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/interval Integer/MAX_VALUE))
(fd-pluso q 4 a)
(== a 7)))
=> (3)
I don't know how you achieve this result in core.logic without the finite
domain support.
--
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
