いろんな言語で宿題スレ

いろんな言語で宿題スレ at TECH

429:デフォルトの名無しさん
09/07/10 12:43:22
>>426 さすがに冗長かな。

sum(N,M,Sum) :-
　　integer_to_varlist(N,L1),
　　integer_to_varlist(M,L2),
　　integer_to_varlist(Sum,L3),
　　sum_1(L1,L2,L3),
　　integer_to_varlist(N,L1),
　　integer_to_varlist(M,L2),
　　integer_to_varlist(Sum,L3).

sum_l(L,L,L) :- not(var(L)).
sum_l(L1,L2,X) :- append(L1,Z,X),sum_l([_|L1],L2,Z).

integer_to_varlist(N,L) :- var(N),var(L).
integer_to_varlist(N,L) :- not((var(N),var(L))),length(L,N).

次ページ

続きを表示

1を表示