序言.在查询中,如何将条件放在结果中我不想要的变量上？

Question

想象一下,我有以下知识库,为每个人提供他的名字和年龄.

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

现在,我想找回所有超过20年的人.此外,我只想收集他们的名字,而不是他们的年龄.在这里,我想要检索mary和john.

如何在Prolog中更常见,更具体地说在SWI-Prolog中？

如果我们使用非匿名变量,例如:

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

Prolog会给我两者的价值X,Y而且我不想要Y.

我不能使用匿名变量,_因为Prolog无法链接其两个实例.以下是错误:

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

那么,怎么做呢？

Answer 1

这个答案直接跟随@danielp的前一个答案.

通过swi-prolog的prolog-toplevel,你可以有一个:

• 显示所有变量的答案替换(默认)

• 不要为变量显示答案替换 _A

有关详细信息,请阅读您正在使用的Prolog处理器的手册!

对于SWI:环境控制(Prolog标志). current_prolog_flag/2. set_prolog_flag/2.

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

?- current_prolog_flag(toplevel_print_anon, Flag).   % get default
Flag = true.

?- _A = 1.
_A = 1.

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

?- set_prolog_flag(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.

Answer 2

为什么不定义谓词

ofintrest(X):- person(X,Y),Y>20.

查询

ofintrest(X).

如果您不想定义谓词，也可以使用双重否定

person(X,_) ,\+(\+ (person(X,Y), Y>20))