このディレクトリの索引

度数(_副目標,_度数) :-
        findall(1,_副目標,L),
        length(L,_度数).

% *** user: count / 3 ***
count(A,[],0).
count(A,[A|R],X) :-
        count(A,R,Y),
        X is Y + 1.
count(A,[_|R],X) :-
        count(A,R,X).

% *** user: count / 2 ***
count(P,Count) :-
        findall(1,P,L),
        length(L,N).

findsum(_選択項,_項,_合計値) :-
        findall(_選択項,_項,_値ならび),
        sum(_値ならび,_合計値),!.

sum([],0).
sum([A|R],Sum) :-
        sum(R,Sum2),
        Sum is A + Sum2.