2つの数値があります。<code>N</code>と<code>K</code>と名前を付けましょう。<code>N</code>の2の累乗を使用して<code>K</code>と書きます。たとえば、<code>N = 9</code>および<code>K = 4</code>の場合、<code>N</code>は<code>N = 1 + 2 + 2 + 4</code>（<code>2^0 + 2^1 + 2^1 + 2^2</code>）。私のプログラムは<code>N = [1,2,2,4]</code>。私はC++に慣れています。この問題をPrologで解決する方法が見つかりません。どんな助けでも感謝します！

プロローグの算術、2のべき乗を使用して数値を表す

2つの数値があります。NとKと名前を付けましょう。Nの2の累乗を使用してKと書きます。

たとえば、N = 9およびK = 4の場合、NはN = 1 + 2 + 2 + 4（2^0 + 2^1 + 2^1 + 2^2）。

私のプログラムはN = [1,2,2,4]。

私はC++に慣れています。この問題をPrologで解決する方法が見つかりません。どんな助けでも感謝します！

2020/05/14CuriousPeet

my_power_of_two_bound(U,P):-
     U #>= 2^P,
     P #=< U,
     P #>=0.

power2(X,Y):-
     Y #= 2^X.

クエリ：

?- N=9,K=4,
   length(_List,K),
   maplist(my_power_of_two_bound(N),_List),
   maplist(power2,_List,Answer),
   chain(Answer, #=<), 
   sum(Answer, #=, N), 
   label(Answer).

次に：

Answer = [1, 2, 2, 4],
K = 4,
N = 9

2020/05/15user27815