序言。在查询中，如何对结果中不需要的变量添加条件？

想象一下，我有以下知识库，其中给出了每个人的名字和年龄。

person(mary, 39).
person(john, 24).
person(sandy, 17).

现在，我想检索所有 20 岁以上的人。此外，我只想收集他们的名字而不是年龄。在这里，我想检索mary and john.

通常如何在 Prolog 中，更具体地说，在 SWI-Prolog 中执行此操作？

如果我们使用非匿名变量，例如：

?- person(X, Y), Y > 20.

Prolog 会给我两者的值X and Y我不想Y.

我无法使用匿名变量_因为 Prolog 无法链接它的两个实例。下面给出了一个错误：

?- person(X, _), _ > 20.

那么，如何做到这一点呢？

这个答案直接跟进之前的这个答案 https://stackoverflow.com/a/34893466/4609915作者：@danielp。

随着序言顶层 /questions/tagged/prolog-toplevel of swi-prolog /questions/tagged/swi-prolog你可以选择其中之一：

• 显示所有变量的答案替换（default)

• 不显示变量的答案替换，例如_A

有关详细信息，请阅读您所使用的 Prolog 处理器的手册！

For SWI http://www.swi-prolog.org/pldoc/doc_for?object=root: 环境控制（Prolog 标志） http://www.swi-prolog.org/pldoc/man?section=flags. current_prolog_flag/2 http://www.swi-prolog.org/pldoc/doc_for?object=current_prolog_flag/2. set_prolog_flag/2 http://www.swi-prolog.org/pldoc/doc_for?object=set_prolog_flag/2.

stefan@Lenovo ~ $ swipl
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.15)
...

?- current_prolog_flag http://www.swi-prolog.org/pldoc/doc_for?object=current_prolog_flag/2(toplevel_print_anon http://www.swi-prolog.org/pldoc/man?section=flags, Flag).   % get default
Flag = true.

?- _A = 1.
_A = 1.

?- _A = 1, X = _A.
_A = X, X = 1.

?- set_prolog_flag http://www.swi-prolog.org/pldoc/doc_for?object=set_prolog_flag/2(toplevel_print_anon, false).      % toggle flag
true.

?- current_prolog_flag(toplevel_print_anon, Flag).
Flag = false.

?- _A = 1.   % watch out!
true.

?- _A = 1, X = _A.
X = 1.

?- set_prolog_flag(toplevel_print_anon, true).       % restore flag
true.

?- current_prolog_flag(toplevel_print_anon, Flag).
Flag = true.

?- _A = 1.
_A = 1.

?- _A = 1, X = _A.
_A = X, X = 1.