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 处理某些事情（至少是成员资格）。

我认为将集合转换为列表是惯用的。