Describir: Functional Logic Programming.