I understand how to construct goals using the primitives provided in
core.logic, like a conjunction with fresh or all, and using relations
defined with defrel. However, I don't really understand the protocols of
goals once I no longer use these primitives.
How would I define my own comparison like function? Instead of unifying,
I'd like to do a comparison.
Something like this:
...
(l/fact person :bob 3)
(l/fact person :april 2)
(l/run 5 [q]
(l/> q 2)
(l/fresh [name]
(person name q)))
(3)
What would be the definition for l/>?
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en