functional and logic programming lab manual