リスト内で最長のサブリストを取得しようとしています。リストのリストを再帰的に検索し、どのリストが最も長いかを判断するルールが必要です。
例:
入力:[[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
問題は、空のセット " []" の発生を処理していないことだと思います。ただし、いくつかの異なる方法を試しましたが、目的の出力を得ることができません。