ついでに私の論理の先生は、Quines アルゴリズム は評価のカウントにも使用できると言いました。残念ながら、これが Prolog でどのように行われるかについて理解できませんか?
プログラムは、たとえば
、Quines アルゴリズムの回答からの構文を使用して、次のようになります。
?- sat_count(X+Y, C).
C = 3
論理和 X+Y の真理値表には、
真と評価される 3 つの行があるため、次のようになります。
X Y X+Y
0 0 0
0 1 1
1 0 1
1 1 1