true.

?- [first, second, third] = [A|B].
A = first,
B = [second, third].

?- [First|Rest] = [1, 2, 3, 4, 5].
First = 1,
Rest = [2, 3, 4, 5].

?- [a] = [H|T].
H = a,
T = [].

?- [a, b, c] = [a|T].
T = [b, c].

?- [a, b, c] = [b|T].
false.

?- [] = [H|T].
false.

?- [This, That|Other] = [10, 20, 30, 40, 50, 60].
This = 10,
That = 20,
Other = [30, 40, 50, 60].

?- [That|Other, This].
ERROR: load_files/2: Arguments are not sufficiently instantiated
?- [That|Other, This] = [10, 20, 30, 40, 50, 60].
false.

?- [This|That|Other] = [10, 20, 30, 40, 50, 60].
false.

?- [This|[That|Other]] = [10, 20, 30, 40, 50, 60].
This = 10,
That = 20,
Other = [30, 40, 50, 60].

?- halt.