私のリストが空のときにプロローグプログラムが停止しない

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、X）。私はこれを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']を3番目のルールと一致させます。

このような場合は、プログラムが失敗した理由は、それがこの一致しないということです：build_vps(Ys, [v(C, X) | Zs]).

をあなたが試みることによってこれを確認することができます：build_vps([], [v(3, y) | Zs]).

これは簡単に3番目のルールを書き換えることで解決することができますこれは