>>21 そうですね。一階の述語論理に強力なサポートと言ったのとは逆に
こういう部分のサポートは全くない訳です。

再帰の中でPをcallする(P,X) :-
copy_term(P,P_2),
・・・
call(P), % ここでPの引数の変数が束縛されてしまうとする
・・・
再帰の中でPをcallする(P_2,X).

% 上のように引数のストリームを断ち切って使います。