>>444
この定義だと双方向に行くかなと思って試してみると、noとなることがある。
あれーカットもないし変だなぁー、ということなのだが、この問題のように、
そもそも(数学的に)解が定まらないという場合が多い。変数が次々と生成
されそうなものだがとか考えてみても、最終的に何が起こるのか、起こって
いるのか予想できない。
?- intersect([1,2,3],X,[2,3]). のような場合ね。