prolog - 处理未绑定(bind)的变量和列表

Question

假设我有以下未绑定(bind)变量的 3x3 网格和另一个绑定(bind)变量列表 L。我想把两者联系起来。例如。

网格 A:

[[_6308, _6314, _6308], [_6308, _6308, _6314], [_6314, _6308, _6308]]

列表 B:

[1 , 2 , 3]

我想按从左到右的顺序选择变量并将它们绑定(bind)到未绑定(bind)的变量。在这种情况下，3 将被忽略，因为我只有 2 个未绑定(bind)变量。

结果列表应该是:

[[1,2,1],[1,1,2],[2,1,1]]



?- fill([1,2,3],[[_6308, _6314, _6308], [_6308, _6308, _6314], [_6314, _6308, _6308]]).
[[2, 1, 2], [2, 2, 1], [1, 2, 2]]

知道如何实现吗？我尝试了这个想法，但它是完整的，因为它只为所有元素返回 1。

fill(_,[])  .   
fill(L,[H|T]):- 
    helper(L,H),
    fill(L,T).
helper(_,[]).       
helper(L,[H|T]) :-
    member(H,L),
    helper(L,T).

Answer 1

您可以使用 term_variables/2在您的术语中查找变量列表并声明它是您的术语列表的前缀:

prefix_of([],_).
prefix_of([X|Xs],[X|Ys]) :-
    prefix_of(Xs,Ys).

grid_pool(Grid,Pool) :-
    term_variables(Grid,Vs),
    prefix_of(Vs,Pool).

对于您的示例，您将获得:

?- G = [[A, B, A], [A, A, B], [B, A, A]], grid_pool(G, [1,2,3,4]).
G = [[1, 2, 1], [1, 1, 2], [2, 1, 1]],
A = 1,
B = 2.

Vs中变量的顺序就是遍历的顺序:深度优先，从左到右。