prolog - プロローグを使用して結果をtxtファイルに出力します

Question

ブール値の問題を解決するために、clpd で Prolog を使用しています。以下のようなルールがあります。

:- use_module(library(clpb)).

fun(A, B, C, D, E) :-
    sat(A + B + C, D),
    sat(E),
    labeling([A, B, C, D, E]);

結果をファイルに出力することはできますか? どのようにできるのか？

Answer 1

あなたのコードにはいくつかの単純な間違いがありました。このバージョンを試すことができます（いくつかの小さな変更があります）：

:- use_module(library(clpb)).

fun(A, B, C, D, E) :-
    open('test1234.txt',write,ID),
     (  sat(A + B + C + D),
        sat(E),
        labeling([A, B, C, D, E]),
        write(ID, labeling([A, B, C, D, E]) ),nl(ID), fail
        ;   close(ID)
      ).

クエリを実行すると、次のようになります。

?- fun(A,B,C,D,E).
true.

「test1234.txt」が現在の作業ディレクトリに作成されます。「test1234.txt」ファイルには以下が含まれます。

labeling([0,0,0,1,1])
labeling([0,0,1,0,1])
labeling([0,0,1,1,1])
labeling([0,1,0,0,1])
labeling([0,1,0,1,1])
labeling([0,1,1,0,1])
labeling([0,1,1,1,1])
labeling([1,0,0,0,1])
labeling([1,0,0,1,1])
labeling([1,0,1,0,1])
labeling([1,0,1,1,1])
labeling([1,1,0,0,1])
labeling([1,1,0,1,1])
labeling([1,1,1,0,1])
labeling([1,1,1,1,1])