prolog：将列表转换为字典？

Question

I am searching some swi-prolog predicate:

list_to_dict(List, Dict) :- ??

Which is able to convert a list like

l = [a, b, c, d]

into a Prolog dict d whose keys are equal to the list indexes starting at 1. In this example above d is of form:

d = dict_label{1:a,2:b,3:c,4:d}

I would appreciate, if you can帮助我找到一些有关该问题的一般且希望简短的解决方案。

Answer 1

您可以使用以下谓词：

% list_to_dict(+Values, +Tag, -Dict)

  list_to_dict(Values, Tag, Dict) :-
      findall(Key-Value, nth1(Key, Values, Value), Pairs),
      dict_create(Dict, Tag, Pairs).

示例：

?- list_to_dict([a,b,c,d], dict_label, Dict).
Dict = dict_label{1:a, 2:b, 3:c, 4:d}.