Can core.logic reason about sets?

Question

l/membero lets you relate list-items and lists, but I did not find an equivalent method in core.logic for contains?.

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?

Answer 1

No. There are some extensions people have made to minikanren to reason about sets (https://github.com/namin/clpset-miniKanren) about to my knowledge no one has ported those to core.logic

Answer 2

Curious if you could wrangle something (at least membership) via featurec

I think the set-to-list is idiomatic though.