Prologでまったり Par ..
148:デフォルトの名無しさん
08/05/02 20:36:43
>>138
> enとdeが別定義なのがかっこ悪い。
じゃあこんな感じで上昇的に
pn(P,N) :- pn(P,0, N).
pn(z,N, N).
pn(s(P1),N0, N) :- (var(N) -> true ; N0<N), N1 is N0+1, pn(P1,N1, N).
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5405日前に更新/90 KB
担当:undef