その述語のすべての満足のいく組み合わせを返す述語を書こうとしました。たとえば... val_form(F,L1,L2)Fは述語、L1はその変数のリスト、L2は出力です。
例えば：
val_form(q & (r -> p),[p,q,r],L2).
Prologは次を返す必要があります：
L2=[0, 1, 0], L2=[1, 1, 0] e L2=[1,1,1]
結果の間に「;」を入力します。
演算子「->」、「＆」、およびその結果としての「0」と「1」のケースはすでに定義しました。有効な解決策が見つからない場合は、Falseを返します。