Prologで、数独を解いてみた！

プロローグ！

去年(2022年)、名古屋で開催された『よちよちサンデープログラミングの会』に参加しました。

そこで、数独をプログラムで解いていた方がいたので
最近、自分がハマっているプログラミング言語のPrologで書いてみました！

出典URL
よちよちサンデープログラミングの会 - connpass

Prologとは？

Wikipediaによると、以下。
引用「Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。」

引用「Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。」

70年代に開発されたプログラミング言語ですが、2023年1月現在も動きます！

出典URL
Prolog - Wikiwand

実行環境

SWISHで、動かしてます。

MacのSwiplで、動かそうとしましたが
レンダリングが出来ませんでした…

出典URL
SWISH -- SWI-Prolog for SHaring

Prologで、数独を解いてみた！！

検索したら出てきたコードですが…
(どうやって、検索したのかは忘れましたが…URLは、メモってました！)

出典URL
swish/clpfd_sudoku.pl at master · SWI-Prolog/swish

sudoku.pl

% render solutions nicely.
:- use_rendering(sudoku).

:- use_module(library(clpfd)).

% Example by Markus Triska, taken from the SWI-Prolog manual.

sudoku(Rows) :-
        length(Rows, 9), maplist(same_length(Rows), Rows),
        append(Rows, Vs), Vs ins 1..9,
        maplist(all_distinct, Rows),
        transpose(Rows, Columns),
        maplist(all_distinct, Columns),
        Rows = [A,B,C,D,E,F,G,H,I],
        blocks(A, B, C), blocks(D, E, F), blocks(G, H, I).

blocks([], [], []).
blocks([A,B,C|Bs1], [D,E,F|Bs2], [G,H,I|Bs3]) :-
        all_distinct([A,B,C,D,E,F,G,H,I]),
        blocks(Bs1, Bs2, Bs3).

problem(1, [[_,_,_, _,_,_, _,_,_],
            [_,_,_, _,_,3, _,8,5],
            [_,_,1, _,2,_, _,_,_],

            [_,_,_, 5,_,7, _,_,_],
            [_,_,4, _,_,_, 1,_,_],
            [_,9,_, _,_,_, _,_,_],

            [5,_,_, _,_,_, _,7,3],
            [_,_,2, _,1,_, _,_,_],
            [_,_,_, _,4,_, _,_,9]]).


/** <examples>

?- problem(1, Rows), sudoku(Rows).
*/

先に、右下の欄に以下のコードを貼り付けて「RUN」すると
分かりやすいかも…

init.pl

X=
[[_,_,_, _,_,_, _,_,_],
[_,_,_, _,_,3, _,8,5],
[_,_,1, _,2,_, _,_,_],
[_,_,_, 5,_,7, _,_,_],
[_,_,4, _,_,_, 1,_,_],
[_,9,_, _,_,_, _,_,_],
[5,_,_, _,_,_, _,7,3],
[_,_,2, _,1,_, _,_,_],
[_,_,_, _,4,_, _,_,9]].

エピローグ…

約30行くらいで、数独が解けました！
これで、Prologコミュニティが盛り上がってくれると嬉しいです…