Mam do rozwiązania zagadki sudoku w formacie wektora zawierającego 9 wektorów (o długości 9 każdy). Widząc, że wektory są połączonymi listami w Prologu, pomyślałem, że wyszukiwanie pójdzie szybciej, j
Czy ktoś może podać prosty przykład ograniczeń dotyczących channelingu? Wiązania wiązania służą do łączenia punktów widzenia problemu z więzami. Handbook of Constraint Programming daje dobre wyjaśnien