Prolog
Programming in Logic
入門
例
prologplus(0, Y, Y). /* 0+y=y */
plus(s(X), Y, s(Z)) :- plus(X, Y, Z). /* x+y=z ならば (x+1) + y = (z+1)*/for haskeller
参考
prologplus(0, Y, Y). /* 0+y=y */
plus(s(X), Y, s(Z)) :- plus(X, Y, Z). /* x+y=z ならば (x+1) + y = (z+1)*/