10/02/03 17:45:56
>>214
% Prolog
述語数値を第二引数が昇順になるように定義し直す。その際追番を1から振り直す :-
findall(_値,数値(_,_値),L1),
quicksort(L1,L2),
abolish(数値/2),
述語数値を第二引数が昇順になるように定義し直す。その際追番を1から振り直す(1,L2).
述語数値を第二引数が昇順になるように定義し直す。その際追番を1から振り直す(_,[]) :- !.
述語数値を第二引数が昇順になるように定義し直す。その際追番を1から振り直す(M,[N|R]) :-
assertz(数値(M,N)),
M2 is M + 1,
述語数値を第二引数が昇順になるように定義し直す。その際追番を1から振り直す(M2,R).