他にも挑戦している人がいると思うので今回から解答を伏せます。
|
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 |
% problem 8 :- dynamic gvar/2. gvar(max,0). set_gvar(Name,X):- nonvar(Name),retract(gvar(Name,_)),!,asserta(gvar(Name,X)). set_gvar(Name,X):- nonvar(Name),asserta(gvar(Name,X)). bignum(7316717653133062491922511967442657474235534919493496983520312774506326239578318016984801869478851843858615607891129494954595017379583319528532088055111254069874715852386305071569329096329522744304355766896648950445244523161731856403098711121722383113622298934233803081353362766142828064444866452387493035890729629049156044077239071381051585930796086670172427121883998797908792274921901699720888093776657273330010533678812202354218097512545405947522435258490771167055601360483958644670632441572215539753697817977846174064955149290862569321978468622482839722413756570560574902614079729686524145351004748216637048440319989000889524345065854122758866688116427171479924442928230863465674813919123162824586178664583591245665294765456828489128831426076900422421902267105562632111110937054421750694165896040807198403850962455444362981230987879927244284909188845801561660979191338754992005240636899125607176060588611646710940507754100225698315520005593572972571636269561882670428252483600823257530420752963450). solve:- gvar(max,0), bignum(BigNumAtom), number_chars(BigNumAtom,BigNumChars), bignum_mul(BigNumChars). bignum_mul([A01,A02,A03,A04,A05,A06,A07,A08,A09,A10,A11,A12,A13 | Rest]):- !, List = [A01,A02,A03,A04,A05,A06,A07,A08,A09,A10,A11,A12,A13], mul_chars(List,Mul), gvar(max,Max), (Mul > Max->(set_gvar(max,Mul),write(Mul),nl);true), bignum_mul([A02,A03,A04,A05,A06,A07,A08,A09,A10,A11,A12,A13 | Rest]). mul_chars([],1):-!. mul_chars([First|Rest],Mul):- number_chars(FirstNum,[First]), mul_chars(Rest,MulRest), Mul is MulRest * FirstNum. |
実行結果：
|
1 2 3 4 5 |
1 ?- time(solve). ***********************(解答伏せます)********************** % 42,565 inferences, 0.047 CPU in 0.047 seconds (100% CPU, 908053 Lips) false. |