Lab work for Declarative Programming