序言 - 如何返回一个列表中找到的元素

Question

我有一个单词列表的列表，如果使用谓词member(H,L)在另一个列表中存在我检查每个字（H是列表中包含的单词的头，我需要检查和L包含我与检查单词的列表。

我想仅提取在L列表中找到的那些话。我已经尝试使用下面的代码，但返回的列表由嵌套列表，除了第一个元素未初始化的事实。

foundValues([],_,[]). 
foundValues([H|T],L,K) :- 
    member(H,L), 
    !, 
    foundValues(T,L,[K|H]). 
foundValues([_|T],L,K) :- 
    foundValues(T,L,K). 

K变量应该保存所需的输出列表。

非常感谢您的帮助！

Answer 1

第二行应该是：

foundValues([H|T],L,[H|K]) :- member(H,L), !, foundValues(T,L,K). 

Answer 2

有疑问时，尝试发出trace/0调用（或等值的实现）运行您的谓词之前。你会在这里看到你的递归不完全正确。

这是一个正确的递归（@user1126943）的外观时，执行这样的：

[trace] ?- foundValues([1, 2], [1, 2, 3], R). 
    Call: (6) foundValues([1, 2], [1, 2, 3], _G383) ? creep 
    Call: (7) lists:member(1, [1, 2, 3]) ? creep 
    Exit: (7) lists:member(1, [1, 2, 3]) ? creep 
    Call: (7) foundValues([2], [1, 2, 3], _G465) ? creep 
    Call: (8) lists:member(2, [1, 2, 3]) ? creep 
    Exit: (8) lists:member(2, [1, 2, 3]) ? creep 
    Call: (8) foundValues([], [1, 2, 3], _G468) ? creep 
    Exit: (8) foundValues([], [1, 2, 3], []) ? creep 
    Exit: (7) foundValues([2], [1, 2, 3], [2]) ? creep 
    Exit: (6) foundValues([1, 2], [1, 2, 3], [1, 2]) ? creep 
R = [1, 2]. 

基本上列表向后建，你可以看到。首先我们到达基本案例（[]），然后根据我们如何到达这种情况（意思取决于元素是否是第二个列表的成员或不在此处）添加元素。