commutativity

5熱

2答えて

をPrologの初心者として、私はPrologで可換的な表現が直感的ではないことを発見しました。 family(X,Y) :- married(X,Y); relative(X,Y); father_son(X,Y). は、私もそれを「可換」にするために、定義に以下を追加する必要があります：私はXとYを表現したい場合などは次のように、一つの家族である m

12熱

2答えて

Babelプラグインが実行されます

TL; DR：Babelプラグインの実行順序を指定する方法はありますか？ Babelはこの注文をどのように決定しますか？バベルの情報源へのダイビングとは別にこの仕組みがどのような仕組みになっていますか？私自身のBabelプラグインを開発しています。私はそれを実行すると、私のプラグインは他のes2015プラグインの前に実行されることに気付きました。など const a =() => 1 と訪問

1熱

2答えて

AまたはB = BまたはA証明（自然控除）

この問題は、私が究極の質問をするより簡単であるように感じます。これを行う簡単な方法はありますか？論理で我々はそれを知っている A v B = B v A しかし、私たちは自然な控除では、これらの等価性を証明するために私たちのv-Introductions、RAAなどを使用します。練習問題を解決する過程で、私はこの交替的性質を証明する必要性に遭遇しましたが、それは驚くほど困難であることを見出して

7熱

2答えて

結合性、可換性などの関数を自動的かつ確定的にテストする

isAssociativeは、2つの引数の別の関数を取り、その関数が結合的であるかどうかを判断する高次関数を構築できますか？同様の質問ですが、可換性などの他のプロパティについても同様です。これが不可能な場合は、どの言語でも自動化する方法はありますか？ Agda、Coq、またはPrologのソリューションがある場合、私は興味があります。考えられるすべての引数の組み合わせをチェックし、決して終了