核心逻辑能否对集合进行推理？

Question

l/membero 允许您关联列表项和列表，但我在 core.logic 中未找到对应于 contains? 的方法。

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

Answer 1

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

Answer 2

很好奇你是否能通过 featurec 来处理一些事情（至少是成员身份）。

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