Mercury 勉強メモ

関数論理型言語 Mercury を勉強するブログです.

P-99: 2.06 A list of Goldbach compositions

P-99: Ninety-Nine Prolog Problemsの問題にMercuryで解答していきます.

前半

10 = 3 + 7
12 = 5 + 7
14 = 3 + 11
16 = 3 + 13
18 = 5 + 13
20 = 3 + 17

後半

992 = 73 + 919
1382 = 61 + 1321
1856 = 67 + 1789
1928 = 61 + 1867
2078 = 61 + 2017
2438 = 61 + 2377
2512 = 53 + 2459
2530 = 53 + 2477
2618 = 61 + 2557
2642 = 103 + 2539