С каким списком не унифицируется список [1, 2]?

Укажите все списки, с которыми унифицируется список [_, _ | _]?

Укажите все списки, с которыми унифицируется список [_, 2 | _]:

Список [_] унифицируется:

Список [_, _] унифицируется:

Не унифицируется пара термов

Свободная переменная унифицируется

Сколько элементов содержит список [[], [], [1], [1, 2], [1, 2, 3, 4]]?

Сколько элементов содержит список [[1, 2], [2, 3]]?

Сколько элементов содержит список [[1, 2, 3, 4]]?

Предикаты digit и tuple определяются следующим образом:

digit(0).digit(1).digit(2).tuple(t(X, Y)) :- digit(X), Y = -X. 

Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?