>>26
% これだと12本以下の樹木の集合は種類を問わず「森」になってしまう。
% 少々武骨だが、以下の2副目標を加える必要がある。

森は、いろいろな種類の樹木が混ざった状態(_森) :-
　　　　list(_森),
　　　　length(_森,_樹木の本数),
　　　　_樹木の本数 >= N2,
　　　　混在の閾値(N1/N2),
　　　　length(L0,N2),
　　　　先頭から全ての連続した一定要素の中に閾値以上の混在が見られる(N1/N2,L0,_森).