問題タブ [prolog-toplevel]

私は持っている

しかし、クエリを実行すると

私は得るだけ

X = tom という別の行も出すべきではありませんか?

catを使用して SWI-Prolog にプログラムを実装しましたcopy_stream_data。

ファイルargs.pl:

ファイルcat.pl:

catからstdinへのプログラムを使用すると、 からの入力が必要な場所にstdoutプロンプ​​トが出力されます。どうすればそのプロンプトを回避できますか?|:stdin

listing/0SWI-Prolog REPLの出力をファイルに書き込むにはどうすればよいですか?

次のように、文字列を ascii コードのリストに変換しようとしています。

ご覧のとおり、これでリスト全体が得られるわけではありませんが、必要です。

この解決策は機能しません。答えが得られて完全に停止するため、wを押すことはできません。これもそうではありません。関数を問題なく呼び出すことができ、true が返されますが、リストはまだ完全に表示されていません。

どんな助けでも大歓迎です！

SWI-Prolog、バージョン 6.6.6。

次の事実を考慮してください。

その結果、次の答えが得られます。

しかし、データを少し変更すると:

少し違う答えが返ってくる…

質問の述語の最初のパラメーターが他の節と統一されていないため、2 番目のケースのバックトラックは発生しないようです。
それにもかかわらず、各ケースの答えが得られることが期待されますtrue ; false.。エンジンは最初の述語句を試行し (結果はtrue)、次にバックトラックして同じ述語の他の句を探します (結果はfalse)。2番目のケースでは一種のショートカットですか？

これは (ある程度) 標準的な動作ですか?つまり、プロローグ ルールを記述するときに考慮する必要がありますか?それとも純粋に実装固有ですか?

私はプロローグが初めてです。私は学ぶために簡単な例を試しています。次の行を含むこの.plファイルがあります。

コンサルティングとテストの後、最初の回答のみが表示されます。例えば：

関係を満たすすべての組み合わせを与えることになっていませんparentか？

誰が問題が何であるか知っていますか?

次の 3 つのルールを一緒に接続する際に問題が発生しています。

countcombo は追加リストを作成します。membersofcombo は、そのリストを並べ替えてから、元の追加リストの各メンバーを生成します。count ルールは、各メンバーの出現回数をカウントします。

membersofcombo と count は連携して動作しますが、countingcombo をコンボのメンバーに接続することはできません。

それぞれの人に名前と年齢を与える次の知識ベースがあると想像してください。

ここで、20 歳以上のすべての人を取得したいと考えています。さらに、年齢ではなく名前を収集したいだけです。maryここでは、 と を取得したいと思いますjohn。

これを一般的に Prolog で、より具体的には SWI-Prolog で行う方法は?

次のように、匿名ではない変数を使用する場合:

XProlog は、とYと I do not wantの両方の値を教えてくれますY。

_Prolog は 2 つのインスタンス化をリンクできないため、無名変数を使用できません。以下はエラーになります。

それで、これを行う方法は？

ここに二分探索木があると仮定し、 above(X,Y)-Xが のすぐ上にあるという規則が与えられYます。また、ルールを作成しましたroot(X)-X親がありません。

次に、このツリーのノードの深さを把握しようとしていました。ツリーのルートノードが「r」であると仮定すると、事実が得られましたlevel(r,0)。ルールを実装するためにlevel(N,D) :-、私が考えていたのは、ここに再帰が必要だということです。したがって、私は試しました

したがって、Nがルートでない場合は、ノードが1 つX上NのレベルDにあり、再帰があります。しかし、これをテストしたところ、ルート条件でのみ機能します。ノード "s" がノード "r" の leftchild であるなど、さらにファクトを作成したとき、私のクエリは level(s,D) です。それは私に「いいえ」を返します。私はクエリをたどりました、それは私を示しています

を呼び出したときになぜ失敗するのか混乱しています level(s,D)か？

クラスで Prolog について学んでいて、解決策がなくなるまでセミコロン キーを自動的に押す方法を教えてもらいました。Google で検索してみましたが、findall表示されていないものを使用した例が表示されます。;Prolog シェルを自動的に押す他の方法はありますか?

たとえば、;繰り返し押すことなくすべてのソリューションを表示します。