Я использую пролог, чтобы попытаться решить головоломку какуро. У меня есть список таких правил, где R и C представляют строку и начальную точку каждого блока, L представляет длину, а S - сумму чисел в строке, % across(R, C, L, S)...