Я начинаю изучать Пролог и впервые узнал о нотации преемника. И здесь я узнаю о написании аксиом Пеано на Прологе. См. стр. 12 документа PDF:sum(0, M, M). sum(s(N), M, s(K)):- ...

Мне нужно создать предикат Пролога для степени двойки с натуральными числами. Натуральные числа: 0, s(0), s(s(0)) и т. д. Например: ?- pow2(s(0),P). Р = с (с (0)); ложный. ?- pow2(P,s(s(0))). ...