Prologはリスト内の数字を再帰的にカウントします

Question

リスト内のすべての数値をどれだけ深くネスティングしてもカウントするプログラムが必要です。私は別のリストの中にいない場合に数字を数えることができましたが、深くネストされた要素を介して再帰的に働いているわけではありません。私はこれまでのところ、これを持っている：

count([],0). 
count([H|Tail], N) :- 
    count(Tail, N1), 
    ( number(H) 
    ->N is N1 + 1 
    ; is_list(H) 
    -> count(H,N) 
    ; N = N1 
    ). 

私はcount([a,1,[2,b],3],N)を呼び出すことだったのであれば、出力はN=3する必要があります。しかし、私はN=2しか得ていません。誰かが私の2番目のケーステストに追加するのを助けてくれますか？深くネストされた数値要素では、ここで使用可能なすべてのソリューションが機能しません。

ありがとうございました！

Answer 1

あなたのコードはis_list(H)ブランチのため正しくありません。その場合にはあなたがN1の値を無視し、正しくない、あなたはNがHのカウント数とN1の合計になりたいです。

完全なコード：

:- use_module(library(clpfd)). 

count([], 0). 
count([H|T], N) :- 
    count(T, N1), 
    ( number(H) -> 
     N #= N1 + 1 
    ; is_list(H) -> 
     N #= N1 + N2, 
     count(H, N2) 
    ; N1 = N 
    ).