алгоритм Open Knight's Tour (с возвратом) в smlnj

Мне нужно написать код SML, чтобы решить задачу рыцарского тура при возврате. Шахматный конь должен пробежать всю шахматную доску (размер: NxN) и должен посетить каждую клетку ровно один раз (нет необходимости возвращаться в первую клетку в конце).

Я уже написал все функции для создания пустой доски, для установки или получения квадратов на доске, для получения списка возможных следующих ходов коня. Но я понятия не имею, как написать рекурсивную функцию на SML (я знаю, как написать этот алгоритм на C, но не на SML).

Алгоритм на C для шахматной доски 8x8

dl and dr are array : (delta to calculate next moves)   
dl = [-2,-2, -1, 1, 2,  2, 1, -1]  
dr = [-1, 1,  2, 2, 1, -1,-2, -2]


    bool backtracking(int** board, int k/*current step*/, int line, int row, int* dl, int* dr)
    {
    bool success = false;
    int way = 0;
    do{
         way++;
         int new_line = line + dl[way];
         int new_row = row + dr[way];

    if(legal_move(board, new_line, new_row))
    {
        setBoard(board,new_line, new_row,k); //write the current step number k in board
            if(k<64)
            {
                    success = backtracking(board, k+1, new_line, new_row, dl, dc);
                    if(!success)
                    {
                            setBoard(board,new_line, new_row,0);
                    }   
            }
            else
                    success = true;
    }
    }
    while(!(success || way = 8));
    return success;
    }