Hi,
I am having trouble creating superset goal.
I managed to create a subset goal:
(defn subseto [smaller larger]
(fresh [e]
(appendo smaller e larger)))
(run 3 [s l]
(membero :a s)
(membero :b s)
(membero :a l)
(membero :c l)
(subseto s l))
results:
([(:a :b) (:a :b :c . _0)]
[(:a :b :c) (:a :b :c . _0)]
[(:a :b :c _0) (:a :b :c _0 . _1)])
Problem is, that I need behavior, where "s" wouldn't have realization,
where it would contain members of "l" that it didn't contain before.
In other words, I need a goal that enforces that "l" is a superset of "s".
Any hints?
Thanks!
Adam
--
--
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
---
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 [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
