Функция, которая проверяет, что первый список является началом списка 2

Я пытаюсь создать функцию, которая принимает два списка и проверяет, является ли первый список началом второго списка. У меня такой псевдокод:

• пустой список начинает список
• список не начинается с пустого списка
• список начинает второй список, если они имеют ту же самую начало и конец второго списка

Может ли кто-нибудь объяснить хороший способ решения этой проблемы?

для первого оператора псевдокода я подумал сделать что-то вроде:

fun starts [] l2 = false |
    starts l1 [] = false |
    starts l1 l2 = if ((hd(l1) = (hd(l2) andalso (tl(l1) = (tl(l2)) then true 

Я не совсем уверен, сработает ли это, как если бы хвост второго списка был длиннее, чем хвост первого списка? произошла бы ошибка?

Если бы кто-то мог помочь объяснить или даже найти решение, это было бы здорово!

РЕДАКТИРОВАТЬ:

Нашел способ сделать это, не думаю, что я был слишком далеко.

Fun start [] l2 = true |
start l1 [] = false |
start l1 l2 = if (hd(l1)) = (hd(l2)) then (start (tl(l1)) (tl(l2))) else false;