如何使用地/1？

Question

我是 Prolog 的初学者，我想知道如何使用 ground/1。

目前我有这段代码：

intertwine([], [], []).
intertwine([E|Es], Fs, [E|Gs]) :- intertwine(Es, Fs, Gs).
intertwine(Es, [F|Fs], [F|Gs]) :- intertwine(Es, Fs, Gs).

但是当我尝试在 shell 中调用它时：

intertwine([1,2],X,[1,a,2,b]).

我得到了正确的答案 X=[a,b]，但查询并没有结束，就好像它一样认为还有另一个答案。所以，我按“;”我得到“假”作为输出。我在另一个问题的答案中读到，我应该使用 ground/1 来检查第三个列表是否已经完全实例化来处理这种情况。

问题是，作为一个完全的初学者，我不知道如何做到这一点。那么，是否有人足够好心地向我解释 ground 是如何工作的，以及如何使用它来检查特定参数的实例化，并使用它来不让代码检查不存在的答案？

Answer 1

这种行为完全没问题。有时，Prolog 能够确定没有进一步的解决方案，有时则不能。细节与所描述的内容没有区别。考虑一下：

?- X = 1 ; 2 = 3.
   X = 1
;  false.

在这里，我们很明显2 = 3不是一个解决方案，Prolog仍然要求我们继续。

顺便说一句，而不是 ;您也可以按空格键获得下一个解决方案。

Answer 2

正如虚假所说，这种行为确实可以。 ground/1 谓词实际上与该问题无关。

不让代码检查不存在的答案？

如果我正确回答了你的问题，Cut 在这里可能会有所帮助。

intertwine([], [], []).
intertwine([E|Es], Fs, [E|Gs]) :- intertwine(Es, Fs, Gs), !.
intertwine(Es, [F|Fs], [F|Gs]) :- intertwine(Es, Fs, Gs), !.

所以你已经得到了唯一的答案。

?- intertwine([1,2],X,[1,a,2,b]).
X = [a, b].

?- 

Answer 3

代替 ground/1 来检查参数的实例化您应该考虑使用 var/1 （或相关的 nonvar/ 1）。 var/1 是基本的元谓词，它将 Prolog 的功能扩展到了所谓的纯语言子集之外。它允许对程序本身进行推理，根据变量等基本实体的“状态”选择适当的行为。

从实际编程 POV 来看，这些元谓词的（非常）简单使用允许为特定参数实现默认值：例如

%%  gunzip(+Gz, ?Ex) is det.
%
%   uncompress the file Gz in Ex
%   if Ex is var strip .gz extension
%
gunzip(Gz, Ex) :-
    (   nonvar(Ex)
    ->  true
    ;   atom_codes(Gz, Cs),
        phrase(string(ExCs), Cs, ".gz"),
        atom_codes(Ex, ExCs)
    ),
    gzopen(Gz, read, I, [type(binary)]),
    setup_call_cleanup(open(Ex, write, O, [type(binary)]),
               copy_stream_data(I, O),
               ( close(I), close(O) )
              ).

，如果我们调用gunzip('file.gz', F), F get （希望）以膨胀数据的名称进行实例化。