Describir: Logic programming and databases /