Prolog - 列表中最长的子列表

Prolog - longest sublist within a list

我正在尝试获取列表中最长的子列表。我需要一个递归搜索列表列表并确定哪个列表长度最长的规则。

例如:
输入:[[1],[1,2],[],[1,2,3,4],[5,6]]
输出:[1,2,3,4]

这是我目前拥有的:

max([H|T], Path, Length) :-
  length(H, L),
  (L @> Length -> 
  max(T, H, L) ;
  max(T, Path, Length) ).

我希望max()这样工作:

? max([[1],[1,2],[],[1,2,3,4],[5,6]], Path, Distance).
Path = [1,2,3,4]
Distance = 4

当我 运行 跟踪时,这是输出:

{trace}
| ?- max([[1],[1,2],[],[1,2,3,4],[5,6]], Path, Distance).
      1    1  Call: max([[1],[1,2],[],[1,2,3,4],[5,6]],_307,_308) ? 
      2    2  Call: length([1],_387) ? 
      2    2  Exit: length([1],1) ? 
      3    2  Call: 1@>_308 ? 
      3    2  Exit: 1@>_308 ? 
      4    2  Call: max([[1,2],[],[1,2,3,4],[5,6]],[1],1) ? 
      5    3  Call: length([1,2],_462) ? 
      5    3  Exit: length([1,2],2) ? 
      6    3  Call: 2@>1 ? 
      6    3  Exit: 2@>1 ? 
      7    3  Call: max([[],[1,2,3,4],[5,6]],[1,2],2) ? 
      8    4  Call: length([],_537) ? 
      8    4  Exit: length([],0) ? 
      9    4  Call: 0@>2 ? 
      9    4  Fail: 0@>2 ? 
      9    4  Call: max([[1,2,3,4],[5,6]],[1,2],2) ? 
     10    5  Call: length([1,2,3,4],_587) ? 
     10    5  Exit: length([1,2,3,4],4) ? 
     11    5  Call: 4@>2 ? 
     11    5  Exit: 4@>2 ? 
     12    5  Call: max([[5,6]],[1,2,3,4],4) ? 
     13    6  Call: length([5,6],_662) ? 
     13    6  Exit: length([5,6],2) ? 
     14    6  Call: 2@>4 ? 
     14    6  Fail: 2@>4 ? 
     14    6  Call: max([],[1,2,3,4],4) ? 
     14    6  Fail: max([],[1,2,3,4],4) ? 
     12    5  Fail: max([[5,6]],[1,2,3,4],4) ? 
      9    4  Fail: max([[1,2,3,4],[5,6]],[1,2],2) ? 
      7    3  Fail: max([[],[1,2,3,4],[5,6]],[1,2],2) ? 
      4    2  Fail: max([[1,2],[],[1,2,3,4],[5,6]],[1],1) ? 
      1    1  Fail: max([[1],[1,2],[],[1,2,3,4],[5,6]],_307,_308) ? 

(2 ms) no

我认为问题在于我没有处理空集“[]”的出现。但是,我尝试了几种不同的方法,但无法获得所需的输出。

你应该定义循环结束子句,返回时需要多一个参数

max([], _, Length, Length).
max([H|T], Path, Length, RetLength) :-
  length(H, L),
  ( L @> Length -> 
    max(T, H, L,RetLength) ;
    max(T, Path, Length,RetLength) 
  ).

测试:

?- max([[1],[1,2],[],[1,2,3,4],[5,6]], Path, Distance,Len).
Len = 4.