prologにおける解の探索方法

言語

prolog

知りたいこと

解の探索方法

内容

X+Y=1+(2+3)+4としたときに、
X=1+(2+3), Y=4
のみが解として帰ってくるのはなぜでしょうか？調べてみると、最初に見つかった答えのみを返すかららしいですが、ではなぜX=1, Y=(2+3)+4などではなく、X=1+(2+3), Y=4が最初の解として見つかるのでしょうか？

また、X+Y=((1+2)+3)+4+(5+6)とした場合は、
X = 1+2+3+4,
Y = 5+6 ? ;
となりました。先ほどの問題と比べても、括弧が省略される基準が分かりません...