core.logic 能推理集合吗？

Question

l/membero 允许您关联列表项和列表，但我没有在 core.logic 中找到与 contains? 相当的方法。

我目前正在将我的集合转换为列表以使用 l/membero，但是我只是在想——是否可以使用 core.logic 在一般情况下进行推理？例如，关联两个集合及其并集和其他常见操作？

Answer 1

不。根据我所知，人们已经对 minikanren 进行了一些扩展以进行集合推理（https://github.com/namin/clpset-miniKanren），但没有将这些扩展移植到 core.logic 中

Answer 2

好奇心是否可以通过 featurec 来操作某些东西（至少是成员资格）

我认为 set-to-list 是惯用的。