09/07/17 15:07:10
>>496 書き直し。
% Prolog
t496(N) :-
重複組合せ([1,2,3,4,5,6,7,8,9,10],N,L),
sum(L,10),
concat_atom(L,' + ',S),
write_formatted('%t\n',[S]),
fail.
t496(_).
sum([],0) :- !.
sum([A|R],X) :- sum(R,Y),X is A + Y.
09/07/17 15:07:10
>>496 書き直し。
% Prolog
t496(N) :-
重複組合せ([1,2,3,4,5,6,7,8,9,10],N,L),
sum(L,10),
concat_atom(L,' + ',S),
write_formatted('%t\n',[S]),
fail.
t496(_).
sum([],0) :- !.
sum([A|R],X) :- sum(R,Y),X is A + Y.