問題タブ [prolog]

hello という単語がリストに含まれているかどうかをテストする関数を作成しようとしています。含まれている場合、「本当」とは言いたくありません。「はい、こんにちはという言葉がここに含まれています」と言ってほしいのですが、何かアイデアはありますか?

これが私のコードです:

Q. Prolog で [1,2,3] が与えられた場合、逆累積により [6,5,3] が返されます

私は開始コードを持っています：

....

基本的な Prolog ソリューションを探しています。

ここにプロローグコードがあります（私はこれに従っています）。

ここにそのトレースがあります（Linux、swiを実行しています）

プロローグがこれらの「ツリー」を実行していることは知っていますが、変数のインクリメントが終了時にのみ行われる理由を理解するのに苦労しています-これの仕組みの説明はありますか?

どうもありがとう！

最初に、これは宿題として与えられたクラスの演習の一部であることを述べさせてください. ただし、課題全体は、この質問の主題よりもはるかに複雑です。そう..

述語に与えられた 2 つのリストを検索しています。私の目標は、このリスト内の対応する要素を比較し、最初の要素が大きいかどうかを判断することです。そうであれば、最終的にはそれらすべての項の合計を返す必要があります。これが私がこれまでに持っているものです：

何らかの理由で、割り当てのどこかを台無しにしていて、どこにあるのかわかりません。ヒントをいただければ幸いです。繰り返しますが、これは私が取り組んでいるより大きな課題の一部ですが、これを取得できません。ありがとう

私はswi-prologについて少し学ぼうとしています（基本的な役に立たないプログラムを超えて）。

この数独ソルバーと関連する関数が何をしているのか、誰でも (おそらく疑似コードで) 説明できますか? さらに参照が必要な場合は、swi-prolog の CLP(FD) パッケージにあります。

ありがとう！

/* リスト Ys が、リスト Xs 内のすべての X の出現を Y に置換した結果である場合、substitute(X,Y,Xs,Ys) は真です。

これは私がこれまでに持っているものです:

私のコードは、ネストされたリストに続く要素を省略することを除いて機能します。例えば：

このプログラムには何を追加すればよいですか?

私はそれについて本で読んだことがありますが、それはまったく説明されていませんでした。私もプログラムでそれを見たことがありません。Prolog構文の一部ですか？何のために？使っていますか？

Prologでは、問題はバックトラッキングを使用して解決されます。これは、命令型（C、PHP、Pythonなど）ではなく、宣言型のパラダイムです。この種の言語では、複雑さの観点から考える価値がありますか？

この質問で誰かが指摘したように、問題を考える自然な方法はO（N ^ 2）のようです。

次のルールで構成されるデータベースがあります。

等

より大規模なプログラムの一部として、同じ言語を話す 3 人をどのように見つけますか?

ジェン

プロローグ機能を作ろうとしています。関数は文を読み取り、キーワードの抽出を試みます。キーワードが見つかった場合は、メッセージを出力します。キーワードが見つからない場合にもメッセージを出力したい。これが私の例です：

上記のコードは、抽出された単語が存在するかどうかを確認します。ただし、単語 'word1,word2 または word3' が含まれていない場合は、答えになりません。これを実装する方法を知っている人はいますか?

追加してみました：

しかし、これが間違っていることは明らかです。