Сергей

Главная фишка пролога - это вывод на основе правил. Вы описываете правила в виде предикатов и говорите языку найти переменные. Он их ищет.

Так что вы немного не в ту степь ушли, потому что длинная арифметика это как бы не фишка пролога.