l/membero lets you relate list-items and lists, but I did not find an equivalent method in
I'm currently converting my set to a list to use with
l/membero, but I was just wondering -- is it possible to reason about sets in general with
core.logic? e.g. relating two sets and their union, and other common operations?