0

我对 Prolog 中的列表列表有疑问。例如，我有这些事实：

fact(1, 'hello').
fact(2,  'boy').
fact(3, 'hello').
fact(4, 'girl').

以及由 (Character, Id) 等对组成的列表：

list([b, 1, b, 2, g, 3, g, 4]).

我的目标是返回这样的列表列表：

newList(['hello', boy'], ['hello', 'girl']).

编辑：第一个列表必须拆分为更多共享相同字符的列表

list([b, 1, b, 2], [g, 3, g, 4]).

那么，应该去掉 Character

list([1, 2], [3, 4]).

并用相应的原子替换 id，如下所示：

list(['hello', 'boy'], ['hello', 'girl']).
4

2 回答 2

5

完全是一个奇怪的问题。如果您愿意提供一些上下文，您可能会得到一个关于如何在 Prolog 中做事的更有意义的答案，一般来说。

反正：

首先，如果这确实是一个对列表，则将其表示为：

char_id([b-1, b-2, g-3, g-4]).

如果您想以编程方式执行此操作，

flat_to_pairs([], []).
flat_to_pairs([A,B|Flat], [A-B|Pairs]) :- flat_to_pairs(Flat, Pairs).

然后，您可以使用：

?- group_pairs_by_key([b-1, b-2, g-3, g-4], G).
G = [b-[1, 2], g-[3, 4]].

然后，您可以将 ID 映射到相应的单词：

collect_words([], []).
collect_words([C-IDs|ID_Groups], [C-Words|Word_Groups]) :-
    maplist(fact, IDs, Words),
    collect_words(ID_Groups, Word_Groups).

作为奖励，您的单词会标有初始字符。

但正如我所说，这在很多层面上都感觉不对。

于 2013-06-10T14:53:44.283 回答
1

好吧，这是一个简单的 Prolog 定义

list([], []).
list([S|R], [L|T]) :-
    capture(S, [S|R], L, Q),
    list(Q, T).

capture(S, [S,I|R], [N|Ns], Q) :-
    !, fact(I, N),
    capture(S, R, Ns, Q).
capture(_, Q, [], Q).

注意：切割是程序正确性所必需的。它产生

?- list([b, 1, b, 2, g, 3, g, 4], R).
R = [[hello, boy], [hello, girl]].
于 2013-06-10T15:36:48.937 回答