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

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

ただいまの
回答率

88.92%

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

受付中

回答 0

投稿

  • 評価
  • クリップ 0
  • VIEW 116

izonecf

score 10

前提・実現したいこと

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
です

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

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

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

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

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

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

  • ただいまの回答率 88.92%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る