使用分配给变量的列表时，b-prolog成员函数的行为可疑

Question

在终端中询问b序言时，成员函数似乎在将列表分配给变量并将该变量与构建在“成员”功能。我在使用变量时无法解释结果。谁能告诉我这是否是正确的行为，为什么是这样？

B-Prolog Version 8.1, All rights reserved, (C) Afany Software 1994-2014. 
| ?- List = [a,b,c,d]. 
List = [a,b,c,d] 
yes 
| ?- member(a,List). 
List = [a|_14c] ?; 
List = [_148,a|_154] ?; 
List = [_148,_150,a|_15c] ?; 
List = [_148,_150,_158,a|_164] ?; 
List = [_148,_150,_158,_160,a|_16c] ? 
yes 

| ?- member(a,[a,b,c,d]). 

yes 
| ?- 

我使用bprolog v 8.1在Windows 10运行临（10.0.143393建设14393）

Answer 1

顶级查询是独立的，不共享变量。如果您尝试改为：

| ?- List = [a,b,c,d], member(a,List). 

您将获得预期结果。