その検索は無理でしょう。再膠着なんて言葉聞いたことない。
多分、私の造語だと思います。説明が難しいのは、一般にリストの場合
構造体ですから仕方ない。この場合などは
構造体のなかにさらに構造体があるというケースですから尚更です。
リストのような構造データを使わずに、スカラ型データ渡し
だけで書くのが理想ですが、
1..問題が要素の前後関係などに依存する場合(>>18がこれ)
2..集約問題(sum()など)
などはリストで処理せざるを得ないですね。ここでは説明は避けますが
Prologの泣き所です。