내 목록이 비어있을 때 내 프롤로그 프로그램이 중지되지 않습니다.

Question

입력 목록이 비어있을 때 내 프로그램이 멈추지 않는 이유는 없습니다. 사실 그 사건을 처리 할 수있는 사실이 있습니다. 여기에 내 코드입니다 :이 같은 문자의 목록을 가지고

build_vps([], []). 
    build_vps([X | Ys], Zs):- 
      atom_number(X, C), 
      number(C), 
      build_vps(Ys, Zs). 
    build_vps([X, Y, Z | Ys], Zs):- 
      Y = '^', 
      atom_number(Z, C), 
      number(C), 
      build_vps(Ys, [v(C, X) | Zs]). 
    build_vps([X, Y, Z | Ys], [v(1, X)| Zs]):- 
      Y \= '^', 
      build_vps([Y, Z | Ys], Zs). 

[X, ^, '3] 나는이 V 같은 구조로 그 문자를 넣어한다 (3 배). 이 build_vps ([x, y, ^, '3'], R)와 같이 호출합니다. 무엇을 얻으려는 것이 R = [v (1, x), v (3, y)]입니다.

Answer 1

중지합니다. 그것은 어떤 규칙과도 일치 할 수 없기 때문에 단지 False라고 말합니다.

Yes, I know that but I don't get why. If u trace it, you'll see it keeps going when it reaches 0 elements in the first list.

그것은, 당신이보고있는 것은 당신이 당신이이 프로그램을 원하는에 대한 충분한 정보를 제공하지 않았다, 지금

build_vps(Ys, [v(C, X) | Zs]). 

에 대한 호출하지 않지만, 나는 추측하고 당신이 한 번 [y, ^, '3']이 있으면 세 번째 규칙과 일치하게됩니다. build_vps(Ys, [v(C, X) | Zs]).가

이

당신은 시도하여 확인할 수 있습니다 :이 경우

는 프로그램이 실패하는 이유는이 일치하지 않을 수 있다는 것입니다 build_vps([], [v(3, y) | Zs]).이 쉽게 세 번째 규칙을 다시 작성하여 해결할 수 있습니다

이 :

build_vps([], []). 

build_vps([X | Ys], Zs):- 
     atom_number(X, C), 
     number(C), 
     build_vps(Ys, Zs). 

/* 
* This rule has been modified 
*/ 
build_vps([X, Y, Z | Ys], [v(C, X) | Zs]):- 
     Y = '^', 
     atom_number(Z, C), 
     number(C), 
     build_vps(Ys, Zs). 

build_vps([X, Y, Z | Ys], [v(1, X)| Zs]):- 
     Y \= '^', 
     build_vps([Y, Z | Ys], Zs).