次世代言語議論スレ[Go Rust Haskell Scala]第3世代 [無断転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0019デフォルトの名無しさん
2017/03/05(日) 11:33:33.34ID:BRHv0ACr再帰の中でPをcallする(P,X) :-
・・・
call(P), % ここでPの引数の変数が束縛されてしまうとする
・・・
再帰の中でPをcallする(P,X). % このPは変数が束縛されたPであり最初のPとはちがう
■ このスレッドは過去ログ倉庫に格納されています