D7012E Declarative Languages Lab 4