パズル「四角に切れ」を解くプログラムです。 リストBdで定義された問題を解いています。 入力内容 % library(win_menu) compiled into win_menu 0.00 sec, 34 clauses Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.4.1) Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). 1 ?- [sikaku]. % sikaku compiled 0.00 sec, 56 clauses true. 2 ?- tell(sikaku_log). true. 3 ?- time(sikaku_main). % 134,804,375 inferences, 32.813 CPU in 32.953 seconds (100% CPU, 4108324 Lips) % Execution Aborted 4 ?- halt. --------------------------------------------------------------------------------- sikaku_logの出力結果（解いている過程を出力すると時間がかかりすぎるので答えのみ出力しています） 同じ番号が同一エリアとなります。 solved 7 7 1 1 1 1 2 2 2 2 2 2 9 3 3 3 45 4 4 4 4 4 4 4 4 5 5 5 5 5 5 13 13 13 13 6 7 7 8 8 8 8 8 16 16 16 16 16 9 3 3 3 45 10 10 10 11 11 11 11 11 12 12 12 12 12 12 13 13 13 13 6 14 31 31 15 15 15 15 16 16 16 16 16 9 3 3 3 45 17 18 18 18 18 29 19 19 19 20 21 25 25 25 25 25 22 22 6 14 31 31 23 23 23 23 23 23 26 26 24 9 3 3 3 45 17 18 18 18 18 29 19 19 19 20 21 25 25 25 25 25 22 22 6 14 31 31 32 32 33 34 34 35 26 26 24 27 27 27 27 45 17 28 28 28 28 29 19 19 19 20 21 38 38 30 30 30 22 22 6 14 31 31 32 32 33 34 34 35 26 26 40 40 40 36 36 45 17 28 28 28 28 29 37 37 37 37 21 38 38 30 30 30 22 22 6 39 39 39 39 39 68 34 34 35 49 49 40 40 40 36 36 45 17 28 28 28 28 29 41 42 42 42 42 43 43 43 43 43 43 43 43 48 48 48 48 67 68 34 34 35 49 49 44 44 50 50 50 45 17 46 46 46 46 29 41 42 42 42 42 53 53 53 54 55 55 47 47 48 48 48 48 67 68 57 57 79 49 49 44 44 50 50 50 51 51 51 51 51 51 59 41 52 52 52 52 53 53 53 54 55 55 47 47 56 56 56 66 67 68 57 57 79 49 49 58 58 58 58 75 70 70 70 71 71 71 59 60 60 60 60 60 60 60 60 54 55 55 47 47 56 56 56 66 67 68 61 61 79 69 69 69 62 62 62 75 70 70 70 71 71 71 63 63 72 72 72 72 64 64 88 54 65 65 65 65 56 56 56 66 67 68 61 61 79 69 69 69 62 62 62 75 70 70 70 71 71 71 63 63 72 72 72 72 64 64 88 54 73 73 73 73 78 74 74 66 67 68 61 61 79 69 69 69 62 62 62 75 76 76 76 76 76 76 77 77 77 77 77 77 64 64 88 54 73 73 73 73 78 74 74 66 67 68 61 61 79 101 80 80 80 80 80 80 76 76 76 76 76 76 81 81 81 81 81 81 64 64 88 89 89 90 90 82 78 74 74 66 67 83 83 83 83 101 84 84 84 84 84 84 85 85 85 85 85 85 85 85 86 86 86 86 87 87 88 89 89 90 90 82 78 91 91 91 91 91 91 91 100 101 102 92 92 92 93 93 93 93 93 93 94 94 94 97 97 95 95 95 87 87 88 89 89 90 90 82 78 99 99 99 96 96 96 96 100 101 102 92 92 92 110 110 103 103 104 104 94 94 94 97 97 105 105 105 105 98 98 98 98 90 90 82 78 99 99 99 116 116 109 109 100 101 102 92 92 92 110 110 103 103 104 104 94 94 94 97 97 105 105 105 105 106 106 106 106 90 90 107 108 108 108 108 116 116 109 109 100 101 102 92 92 92 110 110 111 111 111 112 112 112 112 112 112 112 112 113 113 113 113 114 114 114 114 107 115 115 115 115 116 116 109 109 117 117 117 117 117 117 117 117 111 111 111 118 118 118 118 118 118 119 119 119 119 119 119 119 120 120 120 107