Invia SMS: Interactive relational database design. A logic programming implementation /