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.
Zip and unzip. (bonus 1 1/2 points) Define the functions and such that
and
Verify your implementations!
Take and drop. (bonus 2 points) Define the functions and such that
and
Verify your implementations!
Deleting elements from lists. (bonus 1/2 point) Define the function such that
Verify your implementation!
Filter. (bonus 1/2 point) Given the predicate , define the function such that
Verify your implementation!