这是一个通用谓词,它扫描列表以查找由给定目标定义的单个成员.
select_element(Goal, [Head | Tail], Selected) :-
select_element(Goal, Tail, Head, Selected).
select_element(_Goal, [], Selected, Selected).
select_element(Goal, [Head | Tail], Current, FinalSelected) :-
call(Goal, Head, Current, Selected),
select_element(Goal, Tail, Selected, FinalSelected).
Run Code Online (Sandbox Code Playgroud)
让我们说你定义一个谓词
get_bigger_number(N1, N2, N) :-
N is max(N1, N2).
Run Code Online (Sandbox Code Playgroud)
现在你可以执行:
?- select_element(get_bigger_number, [5, 1, -2, 10, 3.2, 0], Selected).
Selected = 10
Run Code Online (Sandbox Code Playgroud)
所以你现在需要做的就是定义一个谓词get_longer_list(L1, L2, L),而不是使用它get_bigger_number/3.
当然,使用一般谓词select_element/3可能效率不高.例如,您应该尝试避免多次计算同一列表的长度,因为在Prolog中这种计算速度很慢(至少如果以标准方式在Prolog中实现).