論理型プログラミング言語Prologは述語を定義してプログラミングする。でも、関数を基本単位としたプログラミングをしてきたのに、いきなり述語で書けと言われても、どうすればいいか分からない。今回は、関数を述語で表現してみる。
関数
フィボナッチ数列のn項目を返す関数f(n)の定義を普通に書いてみる。
f(0) = 0
f(1) = 1
f(n) = f(n - 1) + f(n - 2) if n > 1
これをPrologで書きなおす。
f(0, 0).
f(1, 1).
f(N, Y) :-
N > 1,
!,
N1 is N - 1,
f(N1, Y1),
N2 is N - 2,
f(N2, Y2),
Y is Y1 + Y2.
f(0) = 0, f(1) = 1という定義を、Prologのf(0, 0), f(1, 1)という命題で表している。
最後の節の、カット!の前に書いてあるN > 1は、（この節で）関数が定義されている条件を表す。条件が満たされていれば、この次に進む。
カット!を通ると、失敗してもこれより前にバックトラックしなくなる。条件が満たされていれば、その時点で（プログラマーにとっては）この先失敗することがないと分かっているので、カットしてしまおう。
その後の命題の列は、y = f(n - 1) + f(n - 2)を表すためのものだけど、そのまま表現できないので、変数を導入して細かい命題に分割している。
まとめ
関数を組み合わせてプログラミングしたいなら、Prolog以外の方が楽。