Project for Declarative Programming, master course for Computer Science at the VUB