prolog - 使用 prolog 将结果打印到 txt 文件中

Question

我正在使用 Prolog 和 clpd 来解决布尔问题。我有下面这样的规则：

:- 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])