このディレクトリの索引
#  
#  sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を表示せよ。 
#  

'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を表示せよ。' :-
        'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_sumの計算結果,_sumが初めて100以上になるnの値),
        '表示せよ。'(_sumの計算結果,_sumが初めて100以上になるnの値).


'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_sumの計算結果,_sumが初めて100以上になるnの値) :-
        'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n,_sum,_sumが初めて100以上になるnの値,_sumの計算結果).


'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n,_sum,_sumが初めて100以上になるnの値,_sumの計算結果) :-
        sum_2 is _sum + _n ^ 2,
        _n_2 is _n + 1,
        'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n,_n_2,_sum,_sum_2,_sumが初めて100以上になるnの値,_sumの計算結果).

'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(100,_,_sumの計算結果,_,_sumが初めて100以上になるnの値,_sumの計算結果) :- !.
'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n,_n_2,_sum,_sum_2,_sumが初めて100以上になるnの値,_sumの計算結果) :-
        sumが初めて100以上になるn(_n,_sum,_sumが初めて100以上にならnの値),
        'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n_2,_sum_2,_sumが初めて100以上になるnの値,_sumの計算結果).
'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n,_n_2,_sum,_sum_2,_sumが初めて100以上になるnの値,_sumの計算結果) :-
        'sum=Σ(n=1~100)n^2の計算結果とsumが初めて100以上になるnの値を'(_n_2,_sum_2,_sumが初めて100以上になるnの値,_sumの計算結果).

sumが初めて100以上になるn(_n,_sum,_sumが初めて100以上になるnの値) :-
        var(_sumが初めて100以上にならnの値),
        _sum >= 100,
        _n = _sumが初めて100以上になるnの値.

'表示せよ。'(_sumの計算結果,_sumが初めて100以上になるnの値) :-
        writef('sumの計算結果 %t, sumが初めて100以上になるnの値 %t\n',[_sumの計算結果,_sumが初めて100以上になるnの値]).