Describir: Functional and Logic Programming