У меня есть предикат add2, который разрешается следующим образом: s(0) - преемник 0, т. Е. 1 ?-...

Итак, у меня есть домашнее задание, в котором я дал следующий код: numeral(0). numeral(succ(X)) :-...