SWI-Prolog的選項處理

Question

我使用SWI-Prolog的和感到困惑，爲什麼選擇庫將被寫入到提供以下輸出：

?- option(a(A), [a=1, a=2, a(3)]). 
A = 3. 
?- option(b(B), [b=1, b=2]). 
B = 1. 

我希望A = 1 ......通過選項展望庫代碼雖然，這個結果顯然是打​​算（git link），但爲什麼這不是一個錯誤？

option(Opt, Options) :-     % make option processing stead-fast 
     arg(1, Opt, OptVal), 
     nonvar(OptVal), !, 
     functor(Opt, OptName, 1), 
     functor(Gen, OptName, 1), 
     option(Gen, Options), 
     Opt = Gen. 
option(Opt, Options) :- 
     get_option(Opt, Options), !. 


get_option(Opt, Options) :- 
     memberchk(Opt, Options), !. 
get_option(Opt, Options) :- 
     functor(Opt, OptName, 1), 
     arg(1, Opt, OptVal), 
     memberchk(OptName=OptVal, Options), !. 

Answer 1

該文檔說the Name = Value syntax is deprecated支持名稱（值）語法。

這似乎是合理的，這將代表library(option)代碼首先檢查首選的形式。

Answer 2

由於memberchk/2（其是半確定性的，即它成功最多一次）在你報價的代碼，非確定性被使用（A = 1; A = 2;等等），似乎明確地而不是意圖。如果有的話，矛盾的選擇應該可能引發域錯誤，不是嗎？