Project for Declarative Programming project at the Vrije Universiteit Brussel