このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1320365280/344
#  [1] 授業単元: プログラミング基礎 
#  [2] 問題文(含コード&リンク): 3問 http://ime.nu/ideone.com/kXOZ8 
#  
#  1)帰納を使い、フィボナッチ数を表示するプログラミングを作れ。
#  例 0,1,1,2,3,5,8,13...
#   
#  2)帰納を使い、インプットした数字nが偶数の場合は、
#  1*3*5*7...n の計算式を行いその答えを表示するプログラミングを作れ。
#  ただし、nが奇数の場合は、-1と表示させる。
#   
#  3)帰納を使い、最大公約数を求めよ。

最大公約数(A,B,B) :-
        'AがBで割り切れる'(A,B),!.
最大公約数(A,B,X) :-
        'AをBで割った余りを除数としBを被除数とする'(A,B,X).

'AをBで割った余りを除数としBを被除数とする'(A,B,X) :-
        _余り is A mod B,
        最大公約数(B,_余り,X).

'AがBで割り切れる'(A,B) :-
        0 is A mod B.