同一の引数で有償と変項を関連付けることは可能ですか? 例えば：
expression(N):-
write(t N),
N1 is N+1,
expression(N1).
どこで、、 ... などにt Nなります。どうすればこれを行うことができますか?t1t2t3
同一の引数で有償と変項を関連付けることは可能ですか? 例えば：
expression(N):-
write(t N),
N1 is N+1,
expression(N1).
どこで、、 ... などにt Nなります。どうすればこれを行うことができますか?t1t2t3