基于Ada语言的数独求解程序（已基本完成）技术咨询

这款基于Ada语言的数独求解程序已基本完成，在此致谢。以下是程序的部分代码：

procedure Sudoku is
-- 定义数组类型
type arr is array(1..9,1..9) of integer;
type solutions is array(integer range <>)of integer;

-- 声明变量
infp : File_Type;  
fileName : string(1..50);
fromFile : string(1..9);
last: natural;
num : arr;
j : integer;

--
-- 检查数独棋盘合法性的函数
--
function isTrue(board : arr) return boolean is
    -- 变量声明
    numCheck : integer;
    
    begin
        for x in 1..9 loop
            for y in 1..9 loop
                if board(x,y) /= 0 then
                    numCheck := board(x,y);
                    
                    for k in 1..9 loop
                        -- 检查同一行是否有重复数字
                        if numCheck = board(x,k) and k /= y then
                            put_line("无解的数独谜题");
                            return false;
                        end if;
                        -- 检查同一列是否有重复数字
                        if numCheck = board(k,y) and k /= x then
                            put(x);
                            put(y);
                            put_line("无解的数独谜题");
                            return false;
                        end if;
                        
                    end loop;
                end if;
            end loop;
        end loop;
    
        return true;
    
    end isTrue;

内容的提问来源于stack exchange，提问作者user19980319