Prologでこの述語に問題がありますか？

Question

 findThree([H|T],_,3).  
     findThree([H|T], M, Z):- 
      (member(H,M) 
       -> Z2 is Z + 1, 
       select(H,M,C), 
       findThree(T,C,Z2) 
       ;select(H,M,C), 
       findThree(T,C,Z) 
      ). 

私がやっていることは、要素が指定されたリストにあるかどうかを確認することです。そうであれば、変数を増やして3つ見つけたら停止します。しかし、私の構文には問題がありますか？ SWI-PrologでIf-else構文を使用しようとしています。それが問題だろうか？

Answer 1

Z is Z + 1は常に整数に失敗します。 Z + 1の値を計算し、Zと統合しようとします。 Zは通常、Z + 1と同じ値ではないため、isは失敗します。新しい変数Z2を作成し、Z2 is Z + 1を使用し、Zの代わりにZ2を使用する必要があります。

あなたのコードを撮影し、修正を行う：

findThree(_,_,3). % This should allow anything as the first element 

findThree([H|T], M, Z) :- 
    select(H, M, C), Z2 is Z + 1, findThree(T, C, Z2). % select includes member implicitly 
findThree([_|T], M, Z) :- 
    findThree(T, M, Z). % Allow this second case since it simplifies the code