Describir: Logic Programming and Databases