如何关联和有效地处理每个键具有多个值的键值字典

Question

我现在正在尝试使用sw-prolog中的assoc库来创建一个关系性prolog程序。 我需要一个可以存储多个值的字典。 使用列表作为值可以轻松实现。

但是，我经常需要查找所有键，单个值-即标识包含一个特定值项的所有键。 （但是，值的数量通常限制为最多数十个项目）。

如果我只使用从键映射到多个值的关联存储，那么我将需要遍历所有键，获取值，然后检查值是否为其成员。

这效率不高，而且似乎无法通过大量键进行扩展。

有没有更有效的方法可以做到这一点？

我可以为每个值项目管理自己的“反向”键值存储，但这似乎效率很低。 另外，如果我要使用序言事实存储区（具有assert /和retracts），将每个键值对存储为一个单独的事实，则可能会免费获得这些“索引化”的查询。

这里的关系方法正确的设计选择是什么？

[edit-1]：顺便说一句，一个“解决方案”可能是允许assoc库中有多个键，以防在内部对值进行“索引”的情况下使用，但是assoc库不支持此操作（我知道）。

[edit-2]：在swi-prolog中查看其他库，我注意到未加权图。 也许使用图结构会更有效地处理键和值之间的多对多关系。 并且，与关系方法保持一致。

[edit-3）：也许ugraph不是一个好主意，因为未键入节点（和链接）。 我需要从结构上指出哪个节点是键，哪些是值。

谢谢，

丹尼尔