問題タブ [negation]

Prolog の実験を始めたばかりで、リストに一意の要素のみが含まれているかどうかを確認するルールを作成しようとしていました。2 番目のバリエーションでは (肯定的なテストを否定することによって) 動作するようになりましたが、最初のバリエーションが動作しない理由を完全に理解できませんでした。

このファイルを考えると：

GNU Prolog インタープリターは、次の応答を返します。

最初の回答が「いいえ」なのはなぜですか? (member が false を返し、true に否定されるため、uniqueElements の反復ごとに notmemeber が true を返すことを期待していました)。「\+」が「!」のように動作することを期待していると思います。do は C の if 句、または Python の 'not' キーワードです。これは誤解ですか？

否定を使用してクエリを実行する必要があります。Djangoでは使用しますexclude()が、MongoEngineのドキュメントの除外に関しては別の意味があります。

否定を行うためのクエリ演算子または別の関数はありますか？

例：

私はかなり長い間PHPを使用してきましたが、これは常に私にとって謎であり、変数の前に感嘆符（負の符号）を正しく使用していました。

何!$varを示していますか？var false、空、設定されていないなどですか？

これが私が学ぶ必要があるいくつかの例です...

例1：

この例は有効ですか？$string空の場合、ifステートメントは実際に機能しますか？

例2：

この例は有効でしょうか？

if ($var)上記の例は使用しません。ブール値のみを持つ変数に制限します。これらの例が有効かどうかを知る必要があるので、if ($var)ステートメントの使用を広げることができます。彼らは本当にきれいに見えます。

ありがとう。

リダイレクトしたいURLがありますが、vimに文字を入力できないようです。

文字は¬（論理否定）で、〜（チルダ）にリダイレクトしたいと思います。

Vimはこのキャラクターをターミナルにコピーさせませんし、キーボードにもありません！

いくつかのコードサンプルを見てみましょう:

C++ 標準から、比較よりも否定が最初に行われることがわかっています。しかし、この例を少し拡張すると、次のようになります。

このプログラムの出力は次のようになります。

1. 最初の呼び出し (制御呼び出し) は非常に明確です。必要なオペレーターが呼び出されているかどうかを確認します。
2. 2 回目の呼び出しは、私が最初に述べたことの証明です。否定演算子が最初に呼び出され、結果 (bool) operator> が呼び出されます。
3. 3回目の電話は私を悩ませているものです。

そして、ここで私の質問が飛び出します。SomeObjInstance > 0call が と異なる理由SomeObjInstance.operator>(0)。2 番目の方法で (メンバーとして) オペレーターを呼び出すことは一般的ではないことはわかっていますが、なぜこの呼び出しが異なるのでしょうか? メンバー演算子が存在しない場合、内部でSomeObjInstance > 0メンバー呼び出しSomeObjInstance.operator>(0)または関数呼び出しに変換されると常に考えていました。bool operator>(const Test &, int)

この動作はC++標準で説明されている場所ですか、それとも未定義の動作ですか?

Prolog の否定に関する明確な答えを探すのに苦労したので、これが明白な質問である場合はお詫びします。

「X が Y を好きで、Y だけが好きなら、X と Y はお互いを愛し合う」と論理的に言う簡単なコードを書こうとしています。私の .pl コードは次のようになります。

次に、プログラムを実行して、次のように尋ねます。

しかし、それは常に偽になります。私の論理では、「X=ジョン、Y=メアリー」と言って返ってくるはずです。

「愛」を定義するために複数の行を試して、カットで否定を分離するいくつかの組み合わせを試しました...おそらく否定の主要な原則が欠けているか、私が試みていることを実装するより簡単な方法があるかもしれませんここで行う。お手伝いできることがあればお知らせください！

私は Debian Software Manager の SWI-Prolog (swipl) を使用しています。

4つのバスケットがあり、それぞれがユニークな色をしています。いくつかの事実と規則に基づいて色の順序を伝えるプロローグ プログラムを作成します。これは .pl ファイルです。

iright 述語と nextto 述語は正しいです。私のクエリはmyprogram(Data)で、結果は次のようになるはずです

しかし、実際にはプロンプトはそれを示しています

問題は否定であることは知っていますが、その方法と理由はわかりません。助けてください。

私が使うときtrace.

私のアプリケーションでは、いくつかのプロファイルを使用して、特定のBeanを自動配線の対象にします。私が見逃しているのは、特定のプロファイルがアクティブでないときにBeanを自動配線の対象にする可能性です。

私が考えたそれを行うための最良の方法は次のようなものです：

1. {A、B、C、D}など、考えられるすべてのプロファイルのリストがあるとします。
2. 特定の実行に対してアクティブなプロファイルは{A、C}です。
3. 私がしていることは、アクティブではないすべての可能なプロファイルに対して人工的なプロファイルを作成することです。この例では、{not_B、not_D}プロファイルを作成します。
4. 非アクティブなプロファイルに基づいてアクティブにしたいBeanはX、プロファイルに対してアクティブにしますnot_X。私の場合、プロファイルBがアクティブでないときに、Beanを自動配線の対象にしたい場合は、それらに注釈を付けます。@Profile("not_B")

ただし、このソリューションには、考えられるすべてのプロファイルに関する事前の知識が必要です。

より良い解決策を思いつくことができますか？

かなり厄介な関数の~A代わりに、ブール値の多数の配列を反転するために使用できますか？np.logical_and()np.invert()

確かに、~正常に動作しているように見えますが、nympyリファレンスマニュアルでは見つかりません。さらに驚くべきことに、スカラーでは動作しません（たとえば、 bool(~True)returns True！）ので、少し心配しています...

バックグラウンド

リストを調べて、P の 1 つの要素を除くすべてがゼロかどうかを判断する関係 power(P) を作成する必要があります。

ここに私が持っているものがあります:

一部のリソースは、バックトラッキングを制御するカット演算子 (!) の使用を提案していますが、それは私が探しているものではないと思います。

また、結果を交換するように見える証明不可能な演算子（\ +）に出くわしました（証明可能ではありません）、それも私が望んでいるものではないと思います。

Prolog Dictionaryは見つかりましたが、「not」の意味や使い方がわかりません (ご想像のとおり、Ctrl+F は「not」の多くのインスタンスを見つけます)。

質問

プロローグで「H はゼロではない」と言うにはどうすればよいですか?

EDITリストは整数のリストです。