This seemed to do the trick :)
(defne superseto
"A relation where x, y are proper collections,
such that y is superset x"
[x y]
([() y])
([[a . d] y]
(membero a y)
(superseto d y)))
I modified appendo ... will try to create subseto goal in similar fashion
so that I see where is the difference :)
--
--
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.
