따라 매개 변수를 전달하는 방법

Question

전 프롤로그를 처음 사용했습니다. 목록 목록의 크기를 계산하는 함수를 구현하고 싶습니다. 예를 들어 [[1,2,3],[a,b,c],[12,ab]]이 있고 반환되는 값은 8이어야합니다. 그래서 나는이 코드를 가지고 :

size([], _). 
    size([_|T], X):- X1 is X + 1, size(T, X1). 

    total_size([], X):- write('size = '), write(X). 
    total_size([H|T], X):- size(H, X), total_size(T, X). 

을하지만 내 기능 0 모든 시간을 반환합니다. 내 계획은 을 호출 할 때마다 X을 size 함수에 전달하고 X 값을 증가시키는 것입니다. 쿼리는 다음과 같습니다 내가 잘못 뭐하는 거지

?- total_size([[1,2,3],[a,b,c],[12,ab]], 0).

?

는

코르 넬리에게 사전에

PS 감사 : 나는 어느 곳에서든지 "프롤로그"근처 단어 "기능을"사용 안하고 알고있다.

Answer 1

크기를 생각하면/2 값을 '반환'할 수 있습니다. 값은 매개 변수를 바인딩 할 때만 '반환'할 수 있습니다 (우리는 매개 변수를 호출합니다). 그런 다음 첫 번째 단계는 첫 번째 절을 수정해야합니다 ('코드'라고 부름).

size([], 0). 

이

빈 목록이 크기가 말하는, 관계입니다 0

이제 재귀 단계는 또한 해결할 수 있습니다 : 그것은 것입니다 다음 사용 재귀 호출의 가치,

편집,

size([_|T], X):- size(T, X1), X is X1 + 1. 

당신이 볼 수있는 내 버그 값 '플로를 수정 w back '을 계산합니다.

total_size/2 계산 된 값이 재귀의 끝에 표시되어야하기 때문에 (실제로 루프입니다.) 계산 된 값은 호출을 '처리'합니다. 그냥 크기/2로 반환 된 값을 추가하는 것을 잊었습니다.

total_size([], X):- write('size = '), write(X). 
total_size([H|T], SoFar):- size(H, X), Sum is SoFar + X, total_size(T, Sum).