我如何在Mace中更正Rat的代码

Question

我正在用c的mace问题写这只老鼠，但有什么错误请告诉我。

这是我编写的代码，但由于错误而无法产生输出

      boo is safe(int a[N][N],int i,int j );


      boo recursion(int a[N][N],int b[N][N],int i,int j);

    for(i=0;i<N;i++){
    for(j=0;j<N;j++)
    print("%d",b[i][j]);
    print("\n");
    }
    return 0;
     }

      boo recursion(int a[N][N],int b[N][N],int i,int j){

       if(i==N-1&&j==N-1){
        b[i][j]==1;
        }



    if (boo is safe( a,i,j) ==true){
        b[i][j]=1;
       if(boo recursion(a,b,i,j+1) ==true) 
       return true;
       if(boo recursion(a,b,i+1,j) ==true)
       return true;

       b[i][j]=0;
       return false;

       }
      return false;
      }

       boo is safe(int a[N][N],int i,int j ){
        if(i>=0&&i<N&&j>=0&&j<N&&a[i][j]==1){
        return true;
    }
    return false;
}

我希望它输出一个矩阵路径的输出，但是由于错误而导致逻辑错误和编译错误，请纠正此错误。 如果他们是任何逻辑错误，请帮助我纠正它，这是狼牙棒中老鼠的代码 在这段代码中，boo是我没有写的布尔值，因此请看一下 代码并帮助我摆脱错误