質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.35%
Prolog

Prologは、非手続き型プログラミング言語です。述語論理を使った論理型言語と言われており、自然言語解析や理解、推論などのAIに有効です。エキスパートシステム開発などに用いられています。

Q&A

0回答

1285閲覧

destroy allfind bag というものが呼び出されている

izonecf

総合スコア10

Prolog

Prologは、非手続き型プログラミング言語です。述語論理を使った論理型言語と言われており、自然言語解析や理解、推論などのAIに有効です。エキスパートシステム開発などに用いられています。

0グッド

0クリップ

投稿2020/07/13 06:25

前提・実現したいこと

Prologの練習課題に取り組んでいます。

与えられた集合(集合はリストで表わされるとする)のすべての部分集合の集合を
計算するために,関係powerset(Set,Subsets)をbagofを用いて定義せよ

という問題について

ソースコード

%subs : 部分集合をすべて表示する述語

subs([],[]).

subs([X|L],Subset):- ,! %リスト先頭の文字が違う場合
subs(L,Subset).
subs([X|List],[X|Subset]):- %リスト先頭が同じ場合
subs(List,Subset).

powerset(Set,Subsets) :-
bagof(Subs,subs(Set,Subs),Subsets).

と書きました

実行結果

?- powerset([a,b,c],L).
L = [[], [c], [b], [b, c], [a], [a, c], [a, b], [a|...]].

となり、どんな入力でも7つめ以降の解は[...]となります、原因はなんでしょうか?

traceしてみると、7つめ以降の解を探すときに

^ Call: (16) call('$bags':'$destroy_findall_bag') ? creep

というものが呼び出されています、これで検索をかけてみても全く結果がでてきません。

引数を2つにして解が7つ以内であれば正常に動作するのですが、理由がわかる方教えていただきたいです。

補足情報(FW/ツールのバージョンなど)

Windows10
SWI-Prolog
です

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.35%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問