- 138 名前：デフォルトの名無しさん mailto:sage [2008/05/02(金) 10:07:42 ]
- 理想主義的解放
en(X,_) :- var(X), !.
en(0,z) :- !.
en(N,s(X1)) :- number(N), N > 0, N1 is N - 1, en(N1,X1).
de(_,N) :- number(N), !.
de(z,0) :- !.
de(s(X),N) :- de(X,N1), N is N1 + 1.
add(X,z,X) :- !.
add(X,s(Y),s(Z)) :- add(X,Y,Z).
eq(X + Y,Z) :- en(X,X1), en(Y,Y1), en(Z,Z1), add(X1,Y1,Z1), de(X1,X), de(Y1,Y), de(Z1,Z).
enとdeが別定義なのがかっこ悪い。
