プロジェクトオイラーは一度素数列挙ロジックを作るとあちこちで使いまわせる。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 |
% problem 10 solve(Idx):- assert(max(Idx)), make_list(Idx,List), eratosthenes_sieve(List,List1), % エラトステネスのふるいによる素数列挙 add_all(List1,Sum), write(Sum). add_all([],0):-!. add_all([First|Rest],Ret):- add_all(Rest,RestSum), Ret is First + RestSum. retract_sosu_list([]):-!. retract_sosu_list([First|Rest]):- retract(sosu(First)), retract_sosu_list(Rest). assert_all([]):-!. assert_all([First|Rest]):- assert(sosu(First)), assert_all(Rest). % 2 ～ Idx までのリストを作成 make_list(Idx,List):- make_list_sub(Idx,List,[]). make_list_sub(1,Ret,Ret):-!. make_list_sub(Idx,Ret,List):- Idx1 is Idx - 1, make_list_sub(Idx1,Ret,[Idx | List]). % 素数列挙 エラトステネスのふるい eratosthenes_sieve([],[]):-!. eratosthenes_sieve([First | Rest],[First | Rest]):- max(Max), First * First > Max , !. eratosthenes_sieve([First | Rest], [First | Ret]):- erase_baisu(First,Rest,Rest1), eratosthenes_sieve(Rest1,Ret). erase_baisu(_,[],[]):-!. erase_baisu(Base,[First | Rest],[First | Ret]):- First mod Base =\= 0, !, erase_baisu(Base,Rest,Ret). erase_baisu(Base,[_ | Rest],Ret):- erase_baisu(Base,Rest,Ret). |
実行結果：
|
1 2 3 4 5 |
1 ?- time(solve(2000000)). XXXXXXXXXXX % 91,150,992 inferences, 76.484 CPU in 77.969 seconds (98% CPU, 1191760 Lips) true. |