Ограничения Пролога - ›Решение головоломки

Итак, ребята, я изучаю ограничения с помощью пролога и пытаюсь решить небольшую головоломку, используя это новое знание.

Цель головоломки проста: у меня есть квадратная сетка с некоторыми числами вверху / под каждым столбцом и справа / слева от каждой строки. Диапазон значений изменяется от 0 до Gridsize -1, что означает, что сетка 7x7 может иметь номера от 0 до 6. Ограничения следующие:

• Каждое число может встречаться только один раз в каждой строке и один раз в каждом столбце.
• Число вверху / справа - это сумма первой и последней цифр в столбце / строке соответственно.
• Число внизу / слева - это сумма вторых и последних цифр в столбце / строке соответственно.
• Нули не считаются цифрами, они используются в программе только для обозначения пробелов.

Например:

TopConstraint = [7, 6, 4, 7, 3] RightConstraint = [5, 5, 5, 5, 5] BottomConstraint = [3, 4, 6, 3, 7] LeftConstraint = [5, 5, 5, 5, 5]

Эти ограничения также могут иметь 0, что делает программу простым игнорированием (сумма может быть любым числом, если она соответствует другим ограничениям).

Одним из решений приведенных выше списков может быть матрица:

3 | 4 | 1 | | 2 1 | 3 | 2 | 4 | 2 | | 4 | 1 | 3 | 1 | 3 | 2 | 4 4 | 2 | | 3 | 1

Теперь проблема в том, что мои ограничения почему-то не применяются, и программа не дает мне решения.

После размещения правильного домена и помещения всех ячеек столбцов / строк разными (что без каких-либо других ограничений дает мне ожидаемое решение), у меня есть этот код для применения к каждой ячейке, ограничения суммы:

put_restrictions(Sol, Gridsize, SumT, SumR, SumB, SumL):- put_restrictions_row(Sol, Gridsize, SumR, SumL, 1), put_restrictions_col(Sol, Gridsize, SumT, SumB, 1). Где Gridsize - это Gridsize для выполнения итераций, SumT, SumR, SumB, SumL - это перечисленные выше списки ограничений соответственно, а 1 - для запуска счетчика итераций.

Итак, в этих предикатах и ​​кроется моя проблема

put_restrictions_col(_, Gridsize, _, _, X):-  X > Gridsize, write('end put_restrictions_col'),nl.
put_restrictions_col(Grid, Gridsize, [SumTH|SumTT], [SumBH|SumBT], X):- 
                                get_cell(Grid, FirstInCol, X, 1, Gridsize),
                                get_cell(Grid, LastInCol, X, Gridsize, Gridsize),

                                get_cell(Grid, SecondInCol, X, 2, Gridsize),
                                SecondLastIndex is Gridsize-1,
                                get_cell(Grid, SecondLastInCol, X, SecondLastIndex, Gridsize),

                                get_cell(Grid, ThirdInCol, X, 3, Gridsize),
                                ThirdLastIndex is Gridsize-2,
                                get_cell(Grid, ThirdLastInCol, X, ThirdLastIndex, Gridsize),


                            (SumTH #> 0) #=> 
                            (
                                (((FirstInCol #> 0) #/\ (LastInCol #> 0)) #=> (SumTH #= FirstInCol + LastInCol))
                                #\/
                                ((FirstInCol #= 0) #=> (SumTH #= SecondInCol + LastInCol))
                                #\/
                                ((LastInCol #= 0) #=> (SumTH #= FirstInCol + SecondLastInCol))
                            ),

                            (SumBH #> 0) #=>
                            (
                                (((SecondInCol #> 0) #/\ (SecondLastInCol #> 0)) #=> (SumBH #= SecondInCol + SecondLastInCol))
                                #\/
                                ((SecondInCol #= 0) #=> (SumBH #= ThirdInCol + SecondLastInCol))
                                #\/
                                ((SecondLastInCol #= 0) #=> (SumBH #= SecondInCol + ThirdLastInCol))
                            ),


                                                    X1 is X+1,
                                                    put_restrictions_col(Grid, Gridsize, SumTT, SumBT, X1).

put_restrictions_row([], _, _,_,_):- write('end put_restrictions_row'),nl.
put_restrictions_row([H|T], Gridsize, [SumRH|SumRT],[SumLH|SumLT], N):-
                            element(1, H, FirstInRow),
                            element(Gridsize, H, LastInRow),

                            element(2, H, SecondInRow),
                            SecondLastIndex is Gridsize -1,
                            element(SecondLastIndex, H, SecondLastInRow),

                            element(3, H, ThirdInRow),
                            ThirdLastIndex is Gridsize -2,
                            element(ThirdLastIndex, H, ThirdLastInRow),

                            (SumRH #> 0) #=> 
                                (
                                (((FirstInRow #> 0) #/\ (LastInRow #> 0)) #/\ (FirstInRow + LastInRow #= SumRH))

                                #\/
                                ((FirstInRow #= 0) #/\ (SecondInRow + LastInRow #= SumRH))
                                #\/
                                ((LastInRow #= 0) #/\ (FirstInRow + SecondLastInRow #= SumRH))
                                ),

                            (SumLH #> 0) #=>
                                (
                                (((SecondInRow #> 0) #/\ (SecondLastInRow #> 0)) #/\ (SumLH #= SecondInRow + SecondLastInRow))
                                #\/
                                ((SecondInRow #= 0) #/\ (SumLH #= ThirdInRow + SecondLastInRow))
                                #\/
                                ((SecondLastInRow #= 0) #/\ (SumLH #= SecondInRow + ThirdLastInRow))
                                ),



                        N1 is N+1,
                        put_restrictions_row(T, Gridsize, SumRT, SumLT, N1).

Я думаю, что код довольно понятен, если нет, то, что я пытаюсь сделать:

Если есть ограничение с правой стороны:

• Если первая и последняя ячейки строки не равны 0, то их сумма равна ограничению
• Если 1-я ячейка в строке равна 0, тогда сумма 2-й ячейки строки и последней = ограничению -> делает левое ограничение суммой 3-й ячейки слева и второй последней И так далее .. .

Я не могу решить эту проблему. Что я делаю неправильно, связывая ограничения?

Любая помощь приветствуется. Заранее благодарим за помощь prologNoob здесь: P