>>579
細部を考えたくない。実行経過のトレースのようなものを放棄したい。
第一感だけでプログラミングしたい。
member/2は双方向性の述語だと思ってみると、これは第一感では
Lは同じになる。ところが実際は、そうとはならず、
?- member(A,[1,2,3]),member(A,L). の場合、バックトラックしても、
A=1, のまま(いわば)ωとなってしまって、A=2,.. A=3,...さえ現れない。
ちょっと違和感のある解となる。そのことを「残念」と表現した。