我如何在序言中创建和使用字典？

Question

我有一个Prolog列表

[['A1', 'I'], ['A1', 'EU'], ['A2', 'EU']]

我想将其转换成这样的字典

{'EU':['A1','A2'], 'I':['A1']}

1. 我如何创建序言词典（我正在使用swipl）

2. 如何访问键和值

3. 我如何添加/删除条款？

Answer 1

SWI-Prolog中的单词有一个“标签”，您可以使用它来表示字典的种类，因为某些谓词只有在标签统一后才能成功。示例：

point{x: 0, y:0}
json{status: 200, data: [1, 2, 3]}
_{key: variable}

要获得值，有三种方法，使用get的优点是，如果键不存在，则失败；而如果键不存在，则更常见的表示法将引发错误。

?- _D = _{'EU':['A1', 'A2'], 'I': ['A1']}, A = _D.'I'.
A = ['A1'].

?- _D = _{'EU':['A1', 'A2'], 'I': ['A1']}, A = _D.get('I').
A = ['A1'].

?- _D = _{'EU':['A1', 'A2'], 'I': ['A1']}, A = get(_D, 'I').
A = ['A1'].

要设置值，有两种方法：

?- _D1 = _{'EU':['A1', 'A2'], 'I': ['A1']}, D = _D1.put('I', ['A2']).
D = _{'EU':['A1', 'A2'], 'I': ['A2']}.

?- _D1 = _{'EU':['A1', 'A2'], 'I': ['A1']}, D = put(_D1, 'I', ['A2']).
D = _{'EU':['A1', 'A2'], 'I': ['A2']}.

加入字典就是将一个放入另一个：

?- _D1 = _{'EU':['A1', 'A2'], 'I': ['A1']}, D = _D1.put(_{'I': ['A2']}).
D = _{'EU':['A1', 'A2'], 'I': ['A2']}.

CapelliC的答案使您到达了成对列表的位置，所有这些都正确分组，SWI-Prolog提供了在成对和字典之间使用的有用谓词：

?- _L = [['A1', 'I'], ['A1', 'EU'], ['A2', 'EU']]
|    , findall(B-A,member([A,B], L), _Ps),group_pairs_by_key(_Ps, _G),
|    , dict_pairs(Dict, _, _G).
Dict = _{'EU':['A1', 'A2'], 'I': ['A1']}.

Answer 2

library（pairs）为您的问题提供了现成的解决方案。仅需要大多数代码即可适应问题中使用的格式：

?- [library(pairs)].
true.

?- L=[['A1', 'I'], ['A1', 'EU'], ['A2', 'EU']]
|    , findall(B-A,member([A,B],L),Ps),group_pairs_by_key(Ps,G).
L = [['A1', 'I'], ['A1', 'EU'], ['A2', 'EU']],
Ps = ['I'-'A1', 'EU'-'A1', 'EU'-'A2'],
G = ['I'-['A1'], 'EU'-['A1', 'A2']].