프롤로그는 목록의 숫자를 반복적으로 계산합니다.

Question

목록에있는 모든 숫자를 세 심하게 집계하는 프로그램이 필요합니다. 나는 그들이 다른 목록 안에 있지 않은 경우 숫자를 집계 할 수 있었지만 깊게 중첩 된 요소를 통해 반복하는 것은 효과가 없습니다. 나는 지금까지이 : 나는 count([a,1,[2,b],3],N)를 호출한다면

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

따라서, 출력이 N=3해야한다; 그러나 나는 N=2 만받습니다. 누군가 제 2 케이스 테스트에 도움을 주시겠습니까? 여기서 사용 가능한 모든 솔루션은 깊이 중첩 된 숫자 요소에 대해서는 작동하지 않습니다.

감사합니다.

Answer 1

귀하의 코드는 is_list(H) 지점에 대한 잘못된 :이 경우에 당신이, 당신이 N이 H에 카운트 N1의 합계가되고 싶어요 정확하지 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 
    ).