プロローグ数の除数

Question

私は与えられた数の除数の数を数える述語に取り組んでいます。それはすべてを数えるわけではありませんが、2つ以上の要因があることを知るには十分です。ここで私が持っているものである。しかし

countFactors([_,_,_,_X]):-!. 
countFactors(Product, Count,Divisor, _X):- 
    Divisor =< Product/2, 
    Product mod Divisor = 0, 
    NewC is Count + 1, 
    NextD is Divisor + 1, 
    countFactors(Product,NewC, NextD, NewC). 

、countFactors（16,0,2、X）を実行しています。単純にfalseを返しますが、私はX = 2を返すと期待します。

EDIT：これで、Falseを返す理由がわかりました。問題の除数が要因であり、再帰するとうまくいきます。しかし、それが要素でない場合はfalseを返しますが、次の除数にはインクリメントしません。停止してfalseを返します。

私の質問は、どうすれば修正できますか？

Answer 1

コードに何らかの誤りがありますが、何らかの修正を掲載しています。たぶんあなたはマイナーな変更を行う必要があります。

%% count all factors of Product 
% 
countFactors(Product, Count, Divisor, Tot) :- 
    Divisor > Product/2, 
    !, Tot is Count. 
countFactors(Product, Count, Divisor, Tot):- 
    ( Product mod Divisor =:= 0 
    -> NewC is Count + 1 
    ; NewC is Count 
    ), 
    NextD is Divisor + 1, 
    countFactors(Product, NewC, NextD, Tot).