[Iska]

Когда я писал свой предыдущий пост, то имел в виду, что очень накладно и глупо делать проверки там, где ошибок быть в принципе быть не должно… А подпрограмма в цикле из вызывающейй должна обрабатывать десятки тысяч элементов (пусть это будут "квадраты"). »

Ход Ваших мыслей понятен, но в целом — неверен.

5. А вот Prolog на зуб не пробовал »

Можно просто ради интереса почитать какой-нибудь приличный учебник — язык с машиной вывода сам по себе очень красив. Читается легко.