Prologプログラミング: 自然数を定義する練習問題解答


練習問題1
「 N が偶数である」を表す述語 even(N) を定義せよ. ヒント: 0 は偶数です.また X が偶数なら s(s(X)) も偶数です.

         even(0).
         even(s(s(N))) :- even(N).
     
練習問題2
「 N が奇数である」を表す述語 odd(N) を定義せよ.

         odd(s(0)).
         odd(s(s(N))) :- odd(N).
     
練習問題3
「 X は Y より小さい」を表す述語 lt(X, Y) を定義せよ.

         lt(X, Y) :- le(s(X), Y).