Prologでまったり Part5 [無断転載禁止]©2ch.net

[29 デフォルトの名無しさん 2017/04/10(月) 10:16:46.41 ID:LBDhdaKW]

Prologの変数では、setof/3やfindall/3の中の変数ですね。
外側の変数を受け継いだ場合です。

?- length(L,2),setof(A,A ^ member(A,L),X),L = [1,2].
L = X, X = [1, 2].

?- length(L,2),findall(A,member(A,L),X),L = [1,2].
L = [1, 2],
X = [_G711, _G708].

?- setof/3は受け継いていますが、findallでは切れています。