>>132 Prolog

'ふたつの整数が与えられたとき、数字が一致している桁の個数を求める。'(_数_1,_数_2,_数字が一致している桁の個数) :-
　　　　ふたつの整数をふたつの数字文字列に変換(_数_1,_数_2,_数字文字列_1,_数字文字列_2),
　　　　'数字が一致している桁の個数を求める。'(_数字文字列_1,_数字文字列_2,_数字が一致している桁の個数).

ふたつの整数をふたつの数字文字列に変換(_数_1,_数_2,_数字文字列_1,_数字文字列_2) :-
　　　　atom_number(_数文字列_1,_数_1),
　　　　atom_number(_数文字列_2,_数_2).

'数字が一致している桁の個数を求める。'(_数字文字列_1,_数字文字列_2,_数字が一致している桁の個数) :-
　　　　'個数を求める。'('数字が一致している桁の'(_数字文字列_1,_数字文字列_2),_数字が一致している桁の個数).

'数字が一致している桁の'(_数字文字列_1,_数字文字列_2) :-
　　　　sub_atom(_数字文字列_1,_,1,_残り文字数,_数字),
　　　　sub_atom(_数字文字列_2,_,1,_残り文字数,_数字).

'個数を求める。'(P,_個数) :-
　　　　findall(1,P,L),
　　　　length(L,_個数).