폴로그의 암호 해독 퍼즐에서 C1이 의미하는 바는 무엇입니까?

Question

여기

는 프롤로그에서 cryptarithmetic의 조각입니다

sum1([D1|N1], [D2|N2], [D|N], C1, C, Digs1, Digs) :- 
    sum1(N1, N2, N, C1, C2, Digs1, Digs2), 
    digitsum(D1, D2, C2, D, C, Digs2, Digs). 

으로 아래

sum1(N1, N2, N, C1, C, Digits1, Digits) 
where N1, N2 and N are our three numbers, 
     C1 is carry from the right, and 
     C is carry to the left (after the summation). 
     Digits1 is the list of available digits for instantiating the 
     variables in N1, N2, and N. 
     Digits is the list of digits that were not used in the 
     instantiation of these variables. 

은 C2는 캐리 양식 오른쪽, C의 약자를 위해 C1은, sum1([D1|N1], [D2|N2], [D|N], C1, C, Digs1, Digs) 무엇을 의미합니까 정말 이해가 안가 설명 왼쪽으로 이동한다는 뜻이며, C1은 무엇을 의미합니까?

Answer 1

C, C1, C2는 0,1 값만 가정 할 수 있습니다. 산술 규칙은 첫 번째 호출에서 C1이 0이고 마지막 호출에서 C가 0이되어야합니다. C2가 재귀 호출에서 C가되면 합계 다음에 캐리를 전파합니다. C1 N을 얻기 위해 N1, N2에 더한 캐리입니다.