ϵ">]>
Literature.
[1] J. Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
Generating permutations. (1 bonus point) Define the function such that
Hint. First define auxiliary functions , and such that