Prolog で論理項の証明者を実装しようとしています。私の現在のコードは実際には見栄えがよくないので、プログラムに何をしてもらいたいかを述べます.
変数のリスト (つまり、論理引数) と、これらの引数を含む論理式 (例'not'(A 'and' B) 'or' 'not'(B 'and' C) 'or' ...など) を受け取る必要があります。
出力として、可能な一貫性のある割り当てでプログラムに応答してもらいたいと思います。単一の引数は、true ( 1) またはfalse ( 0) のいずれかです。
などのリターンを目指しA=0, B=0, C=0 ; A=1ます。
私のプログラムに関するすべての助けに満足しています:)