list - プロローグ - 変数リストの長さを制限する方法

Question

特定の基準を満たすすべてのリストを生成するのに問題があります。

city(new_york, 47).
city(chicago, 100).

all_unique([]).
all_unique([H|T]) :- H = [] ; (not(member(H, T)), all_unique(T)).

cities([Head|Tail]) :-
    length(Tail, L),
    L < 2,
    city(Head, _A),
    (Tail = [] ; cities(Tail)).

query を発行するcities(L)と、最大長が 2 で繰り返しのない都市のすべてのリストが生成されます。現在は、可能なすべてのリストを返し、明らかに基準を満たしていないリストを試行し続けます。

?- cities(L).
L = [new_york] ;
L = [chicago] ;
L = [new_york, new_york] ;
L = [new_york, chicago] ;
L = [chicago, new_york] ;
L = [chicago, chicago] ;
ERROR: Out of global stack
?-

Prolog に、長すぎるリストや繰り返し項目を含むリストを試さないようにするにはどうすればよいですか?