使用分配給變量的列表時，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). 

您將獲得預期結果。