ϵ">]>
Literature.
[1] Ján Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
[3] Ján Komara. Recursive Functions. Online.
Addition is primitive recursive. Find a p.r. derivation of the addition function .
Hint. Note that