[a,b,c,d,e] と [[X] | [b,c,d,e]] 単一化可能? 確認が必要です [X] = a を取得できないため、そうではないと思いますか?
3 に答える
3
あなたの仮定は[X]正しい.(X,[])ですa。
[X|[b,c,d,e]]のよう.(_G231,.(b,.(c,.(d,.(e,[])))))に書き換えることができ[X,a,b,c,d,e]ます。
display/1 を使用すると、構文シュガーなしで形状を調べることができます。
于 2012-01-24T10:04:10.727 に答える
1
何らかの理由で X をリストで囲む必要がある場合、これを統合することはできません (chac で説明されているように)。ただし、append 述語を使用して一致を取得できます。
?- append([X], [b,c,d,e], [a,b,c,d,e]).
X = a
于 2012-01-24T13:42:25.780 に答える