以下是我对Prolog变量的理解.
单个下划线代表匿名变量,每次发生时都像一个新变量.
以_W这样的下划线开头的变量名不是匿名变量.或者,Prolog内部生成的变量名称(如_G189)不被视为匿名:
?- append([1,2],X,Y).
X = _G189
Y = [1, 2|_G189]
你能帮我理解一下吗？
顺便说一下,我从一些教程中得到了上面的例子,但是当我在SWI-Prolog版本6中运行它时,我得到以下内容:
?- append([1,2],X,Y).
Y = [1, 2|X].
感谢您.
想象一下,我有以下知识库,为每个人提供他的名字和年龄.
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.
那么,怎么做呢？