Выдержка из книги
Метакидес Г.N.
Принципы логики и логического программирования
Проводя попытку проверить отношение быть предком между лицами, отстоящими друг от друга более, чем на два поколения, нам придется строить последовательность программных утверждений нарастающей длины.
