FizzBuzzで学ぶProlog - 今日学んだこと

そういえば記事にするの忘れてた。

ちょっと前に、CodeIQにてこんな設問がありました。

<a href="https://codeiq.jp/magazine/2015/04/22840/">不適切の、不適切による、不適切のための『FizzBuzz』結果発表！｜CodeIQ MAGAZINE</a>codeiq.jp

ふむふむ・・・コレならネタ枠として、あまり技術力無い僕でも参加できそうだ・・・ということで参加してみました。

Prologってコード見たことある？

そういう言語があるっていうのを聞いたことがある人は多いと思います。
ただ、実際にコード見たり書いたりしたことある人って少ないんじゃないかなーと思ってます。

僕も、気になってはいたものの、実際に手を動かした事がなかったので、コレは良い機会だと作ってみました。

実際のコードがこちら

% fizzbuzzの仕様
% 15 で割り切れる場合は FizzBuzz を出力する
% 5 で割り切れる場合は Buzz を出力する
% 3 で割り切れる場合は Fizz を出力する
% その他の場合は入力した数値をそのまま出力する
% 
% 参考文献
% http://ja.wikipedia.org/wiki/Prolog
% http://wiki.bit-hive.com/y10/pg/Prolog%B4%F0%C1%C3
% http://stackoverflow.com/questions/16776166/create-something-like-a-for-in-swi-prolog

% 条件定義
'15で割り切れる'(X) :- X mod 15 =:= 0.
'5で割り切れる'(X)  :- X mod 5 =:= 0.
'3で割り切れる'(X)  :- X mod 3 =:= 0.
'その他の場合'(X)   :- \+'15で割り切れる'(X), \+'5で割り切れる'(X), \+'3で割り切れる'(X). % 処理上無くても良いけど、言葉の定義に合わせる

% 結果定義
'FizzBuzzを出力する'(_)     :- print('FizzBuzz').
'Buzzを出力する'(_)         :- print('Buzz').
'Fizzを出力する'(_)         :- print('Fizz').
'数値をそのまま出力する'(X) :- print(X).

% 処理定義
'Fizz?Buzz?FizzBuzz?'(X) :-
    '15で割り切れる'(X) -> 'FizzBuzzを出力する'(X);
    '5で割り切れる'(X)  -> 'Buzzを出力する'(X);
    '3で割り切れる'(X)  -> 'Fizzを出力する'(X);
    'その他の場合'(X)   -> '数値をそのまま出力する'(X).

% 1〜100を渡す
:- forall(between(1,100,I), 'Fizz?Buzz?FizzBuzz?'(I)).