В своем комментарии вы указываете, что вы сделали неправильно:
я проверил это как de[a,[a,1,2,3],Z].
Когда вы вызываете предикат Вы используете круглые скобки ((…)
), квадратные скобки ([…]
) используются для построения списков. Таким образом, вы должны вызывать предикат с круглыми скобками:
?- def<b>(</b>a,[a,1,2,3],Z<b>)</b>.
Z = [a, a, 1, 2, 3].