Literature.
[1] J. 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.
Generating permutations. (2 bonus points) Define the function such that
Hint. First define auxiliary functions , and such that