Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by

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?

2 Answers

0 votes
by

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

0 votes
by

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

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

...