Describir: Foundations of deductive databases and logic programming /