prolog - 使用prolog脚本时如何打印统一结果？

Question

我使用 prolog 脚本来执行所有查询，代码如下:

:- initialization(run).

writeln(T) :- write(T), nl.

queryAll :-
    forall(query(Q), (Q ->
        writeln('yes':Q) ;
        writeln('no ':Q))).

run :-
    queryAll,
    halt.

query( (1,2,3) = (X,Y,Z) ).

问题是 queryAll 只会打印"is"或“否”，而我想查看统一结果，例如:

X = 1
Y = 2
Z = 3

如何在序言中执行此操作？提前致谢。

Answer 1

在 GNU Prolog 中，当将 end_of_term(eof) 选项传递给 read_term_from_atom 时，您可以避免最后一个点。例如:

| ?- read_term_from_atom('X+Y = 1+2', T, [variable_names(L),end_of_term(eof)]).

L = ['X'=A,'Y'=B]
T = (A+B=1+2)``

这意味着当遇到 EOF(文件结尾)时，它被视为正在读取的术语的结尾。当读取原子时，EOF 对应于原子字符串表示形式的 then。

这在某些情况下可以简化事情。