- 149 名前：デフォルトの名無しさん mailto:sage [2008/05/02(金) 21:12:31 ]
- せっかく述語が分かれているから先に決めちゃうか
pn(P,N) :- nonvar(N), pn(P,0, N), !.
pn(P,N) :- pn(P,0, N).
pn(z,N, N).
pn(s(P1),N0, N) :- N1 is N0+1, pn(P1,N1, N).
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
Prologでまったり Part3
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef