fib(N) -> fib(N-1) + fib(N-2).
って書けないのは面倒すぐる。
N-1やN-2やfib(N-1)の結果やfib(N-2)の結果やfib(N-1)+fib(N-2)の結果は
>唯々現時点で、論理変数が同じものであるか、
>あるいは同じものとは云えないかに焦点を当てて記述していく。
必要ないよね。
Erlangの中の人もPrologは面倒すぎたんじゃないの？