Describir: Logic programming