A compound term with functor . (dot) and arity 2, whose second argument is a list, is itself a list.
Складений терм з функтором . (крапка) та арністю 2, чиїм другим аргументом є список, і сам є списком.