プロローグでブール値のリストを生成する

Question

プロローグでブール値のリストを生成する必要があります。

?- gener_booleans(Xs,3). 
Xs = [true, true, true] ; 
Xs = [true, true, false] ; 
... 
Xs = [false, false, false] ; 

ここに別の解決策へのリンクがありますが、これをブーリアンに適用する方法はわかりません。 Get all sets of list in prolog 誰でも手伝いできますか？ P.Sリストの量は2^Nです。 ありがとう！

Answer 1

gener_booleans([],0). 
gener_booleans([true|Xs],N) :- N>0, N1 is N-1, gener_booleans(Xs,N1). 
gener_booleans([false|Xs],N) :- N>0, N1 is N-1, gener_booleans(Xs,N1). 

Answer 2

あなたのプロローグは、（SWIとYAPなど）maplist述語を持っている場合は：

booleans(Xs, N) :- 
    length(Xs, N), 
    maplist(boolean, Xs). 
boolean(true). 
boolean(false). 

（それはまた、ブールをチェックすることができるので、私は述語booleansと改名は、Prologでプログラミングする場合、宣言の名前を好みます。 ）