序言爲什麼這兩個項目統一？

Question

我很困惑，爲什麼[a，b，c，d]和[a，b | [c，d]]統一。從我的有限理解來看，「|」操作員分割頭部和尾部，產生[a，b]和[[c，d]]。那麼這個帶有明顯雙列表的結果對象怎樣才能與第一個的c，d相結合呢？

Answer 1

列表[a,b,c,d]和[a,b|[c,d]]是一樣的東西，「|」將列表拆分爲頭a和尾號[b,c,d]（請參閱@Will Ness的評論）。看看下面，以便更好地理解它：

[a,b,c] unifies with [Head|Tail] resulting in Head=a and Tail=[b,c] 

[a] unifies with [H|T] resulting in H=a and T=[] 

[a,b,c] unifies with [a|T] resulting in T=[b,c] 

[a,b,c] doesn't unify with [b|T] 

[] doesn't unify with [H|T] 

[] unifies with []. Two empty lists always match 

在第二個例子中，你可以看到[a]是相同的，以[a|[]]，並在第三個例子：[a,b,c]與[a|[b,c]]這是同你的例子統一。