- 【論理】Prolog【初心者】
810 ：デフォルトの名無しさん[sage]：2016/05/06(金) 20:23:27.02 ID:ZL7EA8hJ - 数の概念って、ペアノの公理系とか？
suc( zero, りんご ).
suc( りんご, バナナ ).
suc( バナナ, いちご ).
suc( いちご, みかん ).
suc( みかん, キウイ ).
add( zero, X, X ) :- !.
add( A, B, C ) :- suc( P, A ), suc( B, N ), add( P, N, C ).
?- add( りんご, バナナ, X ).
X = いちご
|