このディレクトリの索引

素数生成(_素数) :-
        素数生成(2,[],_素数).

素数生成(N,L,_素数) :-
        素数検査(N,L,L_2,_診断),
        素数生成(N,L_2,_診断,_素数).

素数検査(_素数,L,[_素数|L],素数) :-
        forall(member(_素数_1,L),\+(0 is _素数 mod _素数_1)),!.
素数検査(N,L,L,素数ではない).

素数生成(_素数,_,素数,_素数).
素数生成(N,L,_診断,_素数) :-
        N_2 is N + 1,
        素数生成(N_2,L,_素数).