問題タブ [negation]

Selenium と Java を使用してテストを作成しています。

違いは何ですか

と

最初のものは何も見つからなかったというエラーをスローしますが、下のものはテキストが「a」ではないすべてのスパンをもたらします。

HI 私は次のように定義された単純な知識データベースを持っています。

クエリに答えるルールを作成しようとしています: 「オイル」で実行され、「ビッグ」ではないすべての carClass を表示します。

私はそれを使用して実装しようとしています:

しかし、これは機能していません。

動物を探すプロローグ ゲームを開発しています。ユーザーが頭の中に動物を置き、ゲーム内の質問に答えると、AI がその動物を見つけようとします。

私の問題は、動物のクラスを分離することです:

この2つのクラスを互いに分離したいと思います。動物が哺乳類の場合、AI は「has_feathers」を尋ねません。

私は現在、Haskell で再帰を使用する方法を学んでおり、整数のリスト内のすべての要素を調べてそれらを否定する方法を理解しようとしています。これまでのところ、これを行うことはできますが、リストの最後の要素に対してのみ行うことができるため、エラーが最後の行にあることがわかります。最後の要素だけでなく、リスト内のすべての要素を調べる最良の方法は何ですか?

命題と述語の微積分で数十の補題を証明した後 (他よりも難しいものもありますが、一般的にintro-apply-destructオートパイロットで証明可能です)、w/ から始めて 1 つヒットし、~forallすぐに引っ掛かりました。明らかに、私の Coq に対する理解と知識は不足していました。そこで、一般的な形式のステートメントを証明するための低レベルの Coq テクニックを求めています。

言い換えれば、反例を設定して起動するための一般的な Coq レシピを期待しています。(上記の関数を量化する主な理由は、それが Coq の原始接続詞 (または) であるためです。) 例が必要な場合は、たとえば次のように提案します。

私の提案も回答もしていない関連する質問があるので、重複していないと思います。