Challenge 1: Splitting Off Two Leading Elements — Possible Solution
====================================================================

SWI-Prolog session:

    ?- [H1, H2|T] = [10, 20, 30, 40, 50].
    H1 = 10,
    H2 = 20,
    T = [30, 40, 50].

Explanation:
[H1, H2|T] requires the list to have AT LEAST two elements to unify
successfully -- H1 binds to the first element (10), H2 binds to the
second (20), and T binds to everything remaining after those two
([30, 40, 50]). This is exactly the "multiple elements before the
tail" convenience the chapter introduces, splitting off more than one
leading element in a single pattern rather than nesting [H1|[H2|T]]
manually.

WHY THIS WORKS AS AN ANSWER
------------------------------
This demonstrates the chapter's own multi-element-split syntax on a
genuine five-element list, printing all three resulting bindings to
confirm the split lands exactly where expected.