問題タブ [clpb]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - 論理式の一貫した割り当てを見つける
Prolog で論理項の証明者を実装しようとしています。私の現在のコードは実際には見栄えがよくないので、プログラムに何をしてもらいたいかを述べます.
変数のリスト (つまり、論理引数) と、これらの引数を含む論理式 (例'not'(A 'and' B) 'or' 'not'(B 'and' C) 'or' ...など) を受け取る必要があります。
出力として、可能な一貫性のある割り当てでプログラムに応答してもらいたいと思います。単一の引数は、true ( 1) またはfalse ( 0) のいずれかです。
などのリターンを目指しA=0, B=0, C=0 ; A=1ます。
私のプログラムに関するすべての助けに満足しています:)
prolog - Prolog で Groebner Basis SAT ソルバーを作成する
Boolean Grobner Bases の実装を使用して、結合正規形 (CNF) から変換する SAT ソルバーを作成しようとしています。
a) 特定の変数の否定。たとえば、-xに変換され1+xます。
b) 同じ変数を追加すると、結果は 0 になりますx + x = 0。(XOR を使用する必要があります)。
c) 同じ変数を乗算すると、同じ変数になります。例えばx*x = x。
現時点では、入力は次のようにSATコンペティションのようにテキストファイルにある必要があるため、開始方法をまだ理解しようとしています。
ありがとう。