Describir: A computational logic /